Searched defs:el3_vmid (Results 1 – 1 of 1) sorted by relevance
5399 uint64_t el3_vmid : 4; /**< [ 59: 56](R/W) Current EL3 EVA VMID. */ member5445 uint64_t el3_vmid : 4; /**< [ 59: 56](R/W) Current EL3 EVA VMID. */ member