Searched refs:acpi_rx_vtbl (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) argument
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpi_service_arch.c34 void acpi_service_arch_init(struct acpi_rx_vtbl *acpi_rx_vtbl) argument
36 acpi_rx_vtbl->get_vbe_bios_cap_call = get_vbe_bios_cap;
/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.c279 struct acpi_rx_vtbl acpi_rx_vtbl = { variable in typeref:struct:acpi_rx_vtbl
310 b->rx_vtbl = acpi_rx_vtbl;
320 acpi_service_arch_init(&acpi_rx_vtbl);

Completed in 90 milliseconds