Searched refs:DMAR_DRHD (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/plat/pc99/machine/ | ||
H A D | acpi.c | 40 DMAR_DRHD = 0, enumerator in enum:acpi_table_dmar_struct_type 459 case DMAR_DRHD: 470 printf("ACPI: DMAR_DRHD reg_base exceeds 32 bit, disabling IOMMU support\n"); |
Completed in 27 milliseconds