Searched refs:acpi_fadt_t (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dfadt.h72 } acpi_fadt_t; typedef in typeref:struct:acpi_fadt
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c87 } acpi_fadt_t; typedef in typeref:struct:acpi_fadt
89 sizeof(acpi_fadt_t) == sizeof(acpi_header_t) + 80)
387 acpi_fadt_t *acpi_fadt;
390 acpi_fadt_t *acpi_fadt_mapped;
397 acpi_fadt = (acpi_fadt_t *)(word_t)acpi_rsdt_mapped->entry[count];
398 acpi_fadt_mapped = (acpi_fadt_t *)acpi_table_init(acpi_fadt, ACPI_RSDT);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dbrowser.c94 acpi_fadt_t* fadt = (acpi_fadt_t*)table;
H A Dwalker.c212 acpi_fadt_t* fadt = (acpi_fadt_t*)table_vaddr;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Drtc.c147 acpi_fadt_t *fadt = (acpi_fadt_t*)header;

Completed in 97 milliseconds