Searched refs:acpi_madt_iso (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/plat/pc99/machine/ | ||
H A D | acpi.c | 142 typedef struct acpi_madt_iso { struct 149 /* We can't assert on the sizeof acpi_madt_iso because it contains trailing |
Completed in 76 milliseconds