Searched refs:HCR_TGE (Results 1 – 4 of 4) sorted by relevance
43 if (!(___hcr & HCR_TGE)) { \44 write_sysreg(___hcr | HCR_TGE, hcr_el2); \84 if (!___ctx->cnt && !(___hcr & HCR_TGE)) \
47 #define HCR_TGE (UL(1) << 27) macro103 #define HCR_HOST_VHE_FLAGS (HCR_RW | HCR_TGE | HCR_E2H)
221 return ctxt_sys_reg(ctxt, HCR_EL2) & HCR_TGE; in __vcpu_el2_tge_is_set()
58 val &= ~HCR_TGE; in __tlb_switch_to_guest()
