Searched refs:HCR_E2H (Results 1 – 3 of 3) sorted by relevance
28 #define HCR_E2H (UL(1) << 34) macro93 #define HCR_HOST_VHE_FLAGS (HCR_RW | HCR_TGE | HCR_E2H)
78 vcpu->arch.hcr_el2 |= HCR_E2H; in vcpu_reset_hcr()210 return ctxt_sys_reg(ctxt, HCR_EL2) & HCR_E2H; in __vcpu_el2_e2h_is_set()
592 and x0, x0, #HCR_E2H
Completed in 8 milliseconds