[S] Change in coreboot[master]: (not tested)cpu/x86/{sipi_vector,smm}: Use uintptr_t - coreboot-gerrit

2 Jul 2023


      Elyes Haouas has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/72378?usp=email )
Change subject: (not tested)cpu/x86/{sipi_vector,smm}: Use uintptr_t
......................................................................
Abandoned
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/72378?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I288d95549cb1a76f4214fe4a0994822799f2732d
Gerrit-Change-Number: 72378
Gerrit-PatchSet: 3
Gerrit-Owner: Elyes Haouas ehaouas@noos.fr
Gerrit-Reviewer: Arthur Heymans arthur@aheymans.xyz
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-MessageType: abandon