Searched refs:oem_revision (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h26 uint32_t oem_revision; member in struct:acpi_header
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/
H A Dacpi.h49 uint32_t oem_revision; member in struct:acpi_header
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dacpi.c51 head->oem_revision = rev;
/seL4-test-master/kernel/src/arch/arm/machine/
H A Ddebug.c102 uint8_t didr_version, oem_variant, oem_revision; member in struct:debug_state
735 dbg.oem_revision = dbg_didr_get_revision(didr);

Completed in 37 milliseconds