Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/41910 )
Change subject: arch/x86: Declare permanent_smi_handler() ......................................................................
Patch Set 5:
(1 comment)
https://review.coreboot.org/c/coreboot/+/41910/3/src/include/acpi/acpi.h File src/include/acpi/acpi.h:
https://review.coreboot.org/c/coreboot/+/41910/3/src/include/acpi/acpi.h@101... PS3, Line 1014: static inline int permanent_smi_handler(void)
A comment would be nice, what defines a "permanent" handler.
Done