Home
last modified time | relevance | path

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

/freebsd/sys/arm64/include/
H A Dpmap.h155 uint64_t pmap_to_ttbr0(pmap_t pmap);
/freebsd/sys/arm64/arm64/
H A Defirt_machdep.c271 set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap))); in efi_arch_leave()
H A Dmp_machdep.c238 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()
H A Dpmap.c1792 pmap_stage2_invalidate_range(pmap_to_ttbr0(pmap), va, va + PAGE_SIZE, in pmap_s2_invalidate_page()
1851 pmap_stage2_invalidate_range(pmap_to_ttbr0(pmap), sva, eva, final_only); in pmap_s2_invalidate_range()
1891 pmap_stage2_invalidate_all(pmap_to_ttbr0(pmap)); in pmap_s2_invalidate_all()
8804 pmap_to_ttbr0(pmap_t pmap) in pmap_to_ttbr0() function
8934 set_ttbr0(pmap_to_ttbr0(pmap)); in pmap_activate_int()
/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c1129 hyp->vttbr_el2 = pmap_to_ttbr0(pmap); in vmmops_run()