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

/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c92 typedef struct acpi_madt { struct
284 acpi_madt_t *acpi_madt; local
298 acpi_madt = (acpi_madt_t *)(word_t)acpi_rsdt_mapped->entry[count];
299 acpi_madt_mapped = (acpi_madt_t *)acpi_table_init(acpi_madt, ACPI_RSDT);
302 printf("ACPI: MADT paddr=%p\n", acpi_madt);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmadt.h158 typedef struct acpi_madt { struct

Completed in 143 milliseconds