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

/barrelfish-2018-10-04/usr/acpi/
H A Dacpi_allocators.h20 errval_t acpi_allocators_init_arch(struct bootinfo *bootinfo);
H A Dacpi_allocators.c203 return acpi_allocators_init_arch(bootinfo);
/barrelfish-2018-10-04/usr/acpi/arch/armv8/
H A Dacpi_allocators_arch.c23 errval_t acpi_allocators_init_arch(struct bootinfo *bootinfo) function
/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dacpi_allocators_arch.c24 errval_t acpi_allocators_init_arch(struct bootinfo *bootinfo) function

Completed in 43 milliseconds