Searched refs:VTTBR_EL2 (Results 1 – 3 of 3) sorted by relevance
120 WRITE_SYSREG64(p2m->vttbr, VTTBR_EL2); in p2m_restore_state()150 ovttbr = READ_SYSREG64(VTTBR_EL2); in p2m_flush_tlb()154 WRITE_SYSREG64(p2m->vttbr, VTTBR_EL2); in p2m_flush_tlb()160 if ( ovttbr != READ_SYSREG64(VTTBR_EL2) ) in p2m_flush_tlb()162 WRITE_SYSREG64(ovttbr, VTTBR_EL2); in p2m_flush_tlb()
1001 ctxt.vttbr_el2 = READ_SYSREG64(VTTBR_EL2); in show_registers()
348 #define VTTBR_EL2 VTTBR macro
Completed in 9 milliseconds