acpi_hest_init    945 drivers/acpi/pci_root.c 	acpi_hest_init();
acpi_hest_init     35 include/acpi/apei.h void __init acpi_hest_init(void);