Searched defs:vtcr_el2 (Results 1 – 3 of 3) sorted by relevance
149 "vtcr_el2": 6736659039993645977, number
795 "vtcr_el2": { object
368 uint64_t vtcr_el2; /* Virtualization Translation Control. */ member