Searched defs:el2_vmid (Results 1 – 1 of 1) sorted by relevance
5402 uint64_t el2_vmid : 4; /**< [ 47: 44](R/W) Current EL2 EVA VMID. */ member5448 uint64_t el2_vmid : 4; /**< [ 47: 44](R/W) Current EL2 EVA VMID. */ member