ACPI_SYSTEM_XFACE
void ACPI_SYSTEM_XFACE acpi_db_execute_thread(void *context);
u32 ACPI_SYSTEM_XFACE acpi_ev_gpe_xrupt_handler(void *context);
static void ACPI_SYSTEM_XFACE acpi_db_method_thread(void *context);
static void ACPI_SYSTEM_XFACE acpi_db_single_execution_thread(void *context);
static void ACPI_SYSTEM_XFACE acpi_db_method_thread(void *context)
static void ACPI_SYSTEM_XFACE acpi_db_single_execution_thread(void *context)
void ACPI_SYSTEM_XFACE acpi_db_execute_thread(void *context)
static void ACPI_SYSTEM_XFACE acpi_ev_asynch_execute_gpe_method(void *context);
static void ACPI_SYSTEM_XFACE acpi_ev_asynch_enable_gpe(void *context);
static void ACPI_SYSTEM_XFACE acpi_ev_asynch_execute_gpe_method(void *context)
static void ACPI_SYSTEM_XFACE acpi_ev_asynch_enable_gpe(void *context)
static void ACPI_SYSTEM_XFACE acpi_ev_notify_dispatch(void *context)
static void ACPI_SYSTEM_XFACE acpi_ev_notify_dispatch(void *context);
u32 ACPI_SYSTEM_XFACE acpi_ev_gpe_xrupt_handler(void *context)
static u32 ACPI_SYSTEM_XFACE acpi_ev_sci_xrupt_handler(void *context);
static u32 ACPI_SYSTEM_XFACE acpi_ev_sci_xrupt_handler(void *context)
static void ACPI_SYSTEM_XFACE rbtn_clear_suspended_flag(void *context)
(ACPI_SYSTEM_XFACE * acpi_osd_handler) (void *context);
(ACPI_SYSTEM_XFACE * acpi_osd_exec_callback) (void *context);
#ifndef ACPI_SYSTEM_XFACE
int ACPI_SYSTEM_XFACE main(int argc, char *argv[])
int ACPI_SYSTEM_XFACE acpi_main(int argc, char *argv[])