Searched refs:acpi_fadt (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dfadt.h16 typedef struct acpi_fadt { struct
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c83 typedef struct acpi_fadt { struct
387 acpi_fadt_t *acpi_fadt; local
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);
401 printf("ACPI: FADT paddr=%p\n", acpi_fadt);

Completed in 42 milliseconds