Searched defs:vttbr_el2 (Results 1 – 9 of 9) sorted by relevance
310 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
313 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
325 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
320 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
332 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member
338 uint64_t vttbr_el2; /* Virtualization Translation Table Base. */ member