ACPI_SYSTEM_XFACE  201 include/acpi/acdebug.h void ACPI_SYSTEM_XFACE acpi_db_execute_thread(void *context);
ACPI_SYSTEM_XFACE  206 include/acpi/acevents.h u32 ACPI_SYSTEM_XFACE acpi_ev_gpe_xrupt_handler(void *context);