Searched refs:facs_address (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dfadt.h18 uint32_t facs_address; member in struct:acpi_fadt
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c95 vector[0] = (void*)fadt->facs_address;
H A Dwalker.c213 _acpi_parse_tables(acpi, (void*)(uintptr_t)fadt->facs_address,

Completed in 83 milliseconds