Searched refs:HCR_TID4 (Results 1 – 4 of 4) sorted by relevance
27 #define HCR_TID4 (UL(1) << 49) macro
1008 res0 |= (HCR_TOCU | HCR_TICAB | HCR_TID4); in kvm_init_nv_sysregs()
265 .value = HCR_TID4,266 .mask = HCR_TID4,
4683 vcpu->arch.hcr_el2 |= HCR_TID4; in vcpu_set_hcr()