Searched refs:host_vttbr (Results 1 – 1 of 1) sorted by relevance
636 uint64_t host_vttbr; in VMM_HYP_FUNC() local652 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()692 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()699 uint64_t host_vttbr; in VMM_HYP_FUNC() local707 host_vttbr = READ_SPECIALREG(vttbr_el2); in VMM_HYP_FUNC()716 WRITE_SPECIALREG(vttbr_el2, host_vttbr); in VMM_HYP_FUNC()