Searched refs:HCR_TID4 (Results 1 – 5 of 5) 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,
1638 #define HCR_TID4 (1ULL << 49) macro
1989 (arm_hcr_el2_eff(env) & (HCR_TID2 | HCR_TID4))) { in access_tid4()6046 valid_mask |= HCR_TTLBIS | HCR_TTLBOS | HCR_TICAB | HCR_TOCU | HCR_TID4; in do_hcr_write()6048 valid_mask |= HCR_TICAB | HCR_TOCU | HCR_TID4; in do_hcr_write()6156 HCR_TID4 | HCR_TICAB | HCR_TOCU | HCR_TTLBIS); in arm_hcr_el2_eff_secstate()6167 HCR_TID4 | HCR_TICAB | HCR_TOCU | HCR_ENSCXT | in arm_hcr_el2_eff_secstate()