Home
last modified time | relevance | path

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

/freebsd/sys/arm64/arm64/
H A Defirt_machdep.c276 set_ttbr0(efi_ttbr0); in efi_arch_enter()
305 set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap))); in efi_arch_leave()
H A Dkexec_support.c150 set_ttbr0(reg); in kexec_reboot_md()
H A Dmachdep.c898 set_ttbr0(abp->kern_ttbr0); in initarm()
H A Dpmap.c9333 set_ttbr0(pmap_to_ttbr0(pmap)); in pmap_activate_int()
/freebsd/sys/arm64/include/
H A Dcpufunc.h138 set_ttbr0(uint64_t ttbr0) in set_ttbr0() function