Searched refs:acpi_arch_init (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dacpi_shared.h36 int acpi_arch_init(void);
H A Dacpi.c767 return acpi_arch_init();
/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_arch.c31 int acpi_arch_init(void) function
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_arch.c37 int acpi_arch_init(void) function

Completed in 39 milliseconds