Searched defs:vtcr_el2 (Results 1 – 2 of 2) sorted by relevance
569 "vtcr_el2": { "type": "integer" }, object
315 uint64_t vtcr_el2; /* Virtualization Translation Control. */ member