Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dp2m.c46 static uint64_t generate_vttbr(uint16_t vmid, mfn_t root_mfn) in generate_vttbr() function
108 WRITE_SYSREG64(generate_vttbr(INVALID_VMID, empty_root_mfn), VTTBR_EL2); in p2m_save_state()
190 vttbr = generate_vttbr(p2m->vmid, empty_root_mfn); in p2m_force_tlb_flush_sync()
1407 p2m->vttbr = generate_vttbr(p2m->vmid, page_to_mfn(p2m->root)); in p2m_alloc_table()
1958 WRITE_SYSREG64(generate_vttbr(INVALID_VMID, empty_root_mfn), VTTBR_EL2); in setup_virt_paging_one()

Completed in 5 milliseconds