Searched refs:HCR_HOST_VHE_FLAGS (Results 1 – 4 of 4) sorted by relevance
70 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in __tlb_switch_to_host()
98 write_sysreg(HCR_HOST_VHE_FLAGS, hcr_el2); in __deactivate_traps()
99 mov_q x0, HCR_HOST_VHE_FLAGS
103 #define HCR_HOST_VHE_FLAGS (HCR_RW | HCR_TGE | HCR_E2H) macro