Home
last modified time | relevance | path

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

/f-stack/freebsd/arm64/include/
H A Dpmap.h178 uint64_t pmap_to_ttbr0(pmap_t pmap);
/f-stack/freebsd/arm64/arm64/
H A Defirt_machdep.c270 set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap))); in efi_arch_leave()
H A Dmp_machdep.c260 KASSERT(pmap_to_ttbr0(pmap0) == READ_SPECIALREG(ttbr0_el1), in init_secondary()
H A Dpmap.c6597 pmap_to_ttbr0(pmap_t pmap) in pmap_to_ttbr0() function
6644 set_ttbr0(pmap_to_ttbr0(pmap)); in pmap_activate_int()