Searched refs:set_ttbr0 (Results 1 - 4 of 4) sorted by relevance

/freebsd-13-stable/sys/arm64/include/
H A Dcpufunc.h182 set_ttbr0(uint64_t ttbr0) function
/freebsd-13-stable/sys/arm64/arm64/
H A Defirt_machdep.c249 set_ttbr0(efi_ttbr0);
270 set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap)));
H A Dmachdep.c1329 set_ttbr0(abp->kern_ttbr0);
H A Dpmap.c6628 set_ttbr0(pmap_to_ttbr0(pmap));

Completed in 75 milliseconds