Searched refs:HCR_HOST_VHE_FLAGS (Results 1 – 3 of 3) sorted by relevance
58 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in __tlb_switch_to_host_vhe()
145 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in deactivate_traps_vhe()
90 #define HCR_HOST_VHE_FLAGS (HCR_RW | HCR_TGE | HCR_E2H) macro
