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

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dmadt.h46 uint8_t ioapic_id; member in struct:acpi_madt_ioapic
86 uint8_t ioapic_id; member in struct:acpi_madt_sapic
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dacpi.c134 uint8_t ioapic_id; member in struct:acpi_madt_ioapic
349 "ACPI: MADT_IOAPIC ioapic_id=%d ioapic_addr=0x%x gsib=%d\n",
350 ((acpi_madt_ioapic_t *)acpi_madt_header)->ioapic_id,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dacpi.c169 .ioapic_id = 0,

Completed in 43 milliseconds