Searched refs:host_vttbr (Results 1 – 1 of 1) sorted by relevance
706 uint64_t host_vttbr; in VMM_HYP_FUNC() local720 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()760 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()767 uint64_t host_vttbr; in VMM_HYP_FUNC() local773 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()782 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()