Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dp2m.c108 WRITE_SYSREG64(generate_vttbr(INVALID_VMID, empty_root_mfn), VTTBR_EL2); in p2m_save_state()
135 WRITE_SYSREG64(p2m->vttbr, VTTBR_EL2); in p2m_restore_state()
174 ovttbr = READ_SYSREG64(VTTBR_EL2); in p2m_force_tlb_flush_sync()
192 WRITE_SYSREG64(vttbr, VTTBR_EL2); 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()
1958 WRITE_SYSREG64(generate_vttbr(INVALID_VMID, empty_root_mfn), VTTBR_EL2); in setup_virt_paging_one()
A Dtraps.c951 ctxt.vttbr_el2 = READ_SYSREG64(VTTBR_EL2); in show_registers()
/xen/xen/include/asm-arm/
A Dcpregs.h349 #define VTTBR_EL2 VTTBR macro

Completed in 11 milliseconds