Searched refs:host_tcr (Results 1 – 1 of 1) sorted by relevance
623 uint64_t host_tcr; in VMM_HYP_FUNC() local642 host_tcr = READ_SPECIALREG(tcr_el2); in VMM_HYP_FUNC()643 WRITE_SPECIALREG(tcr_el2, host_tcr & ~HCR_TGE); in VMM_HYP_FUNC()672 WRITE_SPECIALREG(tcr_el2, host_tcr); in VMM_HYP_FUNC()