[coreboot-gerrit] Change in coreboot[master]: cpu/x86/sipi_vector: Properly use uintptr_t

[Angel Pons (Code Review)]

Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/47711 )

Change subject: cpu/x86/sipi_vector: Properly use uintptr_t
......................................................................

Patch Set 1: Code-Review+2

(1 comment)

https://review.coreboot.org/c/coreboot/+/47711/1//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/47711/1//COMMIT_MSG@7 
PS1, Line 7: Properly use uintptr_t
What does "properly" mean here? Instead, how about:

Use uintptr_t for memory addresses