Symbol: set_ttbr0
sys/arm64/arm64/efirt_machdep.c
276
set_ttbr0(efi_ttbr0);
sys/arm64/arm64/efirt_machdep.c
305
set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap)));
sys/arm64/arm64/kexec_support.c
150
set_ttbr0(reg);
sys/arm64/arm64/machdep.c
899
set_ttbr0(abp->kern_ttbr0);
sys/arm64/arm64/pmap.c
9428
set_ttbr0(pmap_to_ttbr0(pmap));