Home
last modified time | relevance | path

Searched refs:ovttbr (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/arm/
A Dp2m.c166 uint64_t ovttbr; in p2m_force_tlb_flush_sync() local
174 ovttbr = READ_SYSREG64(VTTBR_EL2); in p2m_force_tlb_flush_sync()
175 if ( ovttbr != p2m->vttbr ) in p2m_force_tlb_flush_sync()
200 if ( ovttbr != READ_SYSREG64(VTTBR_EL2) ) in p2m_force_tlb_flush_sync()
202 WRITE_SYSREG64(ovttbr, VTTBR_EL2); in p2m_force_tlb_flush_sync()

Completed in 5 milliseconds