Searched refs:HCR_TID4 (Results 1 – 3 of 3) sorted by relevance
27 #define HCR_TID4 (UL(1) << 49) macro
95 vcpu->arch.hcr_el2 |= HCR_TID4; in vcpu_reset_hcr()
248 .value = HCR_TID4,249 .mask = HCR_TID4,
