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

/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpi_service_arch.c23 void acpi_service_arch_init(struct acpi_rx_vtbl *acpi_rx_vtbl) function
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_service_arch.c34 void acpi_service_arch_init(struct acpi_rx_vtbl *acpi_rx_vtbl) function
/barrelfish-master/usr/acpi/
H A Dacpi_shared.h50 void acpi_service_arch_init(struct acpi_rx_vtbl *acpi_rx_vtbl);
H A Dacpi_service.c320 acpi_service_arch_init(&acpi_rx_vtbl);

Completed in 37 milliseconds