sys/arm64/arm64/efirt_machdep.c

297

set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap)));

sys/arm64/arm64/mp_machdep.c

287

KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1),

sys/arm64/arm64/pmap.c

1946

pmap_stage2_invalidate_range(pmap_to_ttbr0(pmap), va, va + PAGE_SIZE,

sys/arm64/arm64/pmap.c

2009

pmap_stage2_invalidate_range(pmap_to_ttbr0(pmap), sva, eva, final_only);

sys/arm64/arm64/pmap.c

2066

pmap_stage2_invalidate_all(pmap_to_ttbr0(pmap));

sys/arm64/arm64/pmap.c

9234

set_ttbr0(pmap_to_ttbr0(pmap));

sys/arm64/include/pmap.h

159

uint64_t pmap_to_ttbr0(pmap_t pmap);

sys/arm64/vmm/vmm_arm64.c

1150

hyp->vttbr_el2 = pmap_to_ttbr0(pmap);