Searched refs:set_ttbr0 (Results 1 – 4 of 4) sorted by relevance
250 set_ttbr0(efi_ttbr0); in efi_arch_enter()271 set_ttbr0(pmap_to_ttbr0(PCPU_GET(curpmap))); in efi_arch_leave()
998 set_ttbr0(abp->kern_ttbr0); in initarm()
9004 set_ttbr0(pmap_to_ttbr0(pmap)); in pmap_activate_int()
131 set_ttbr0(uint64_t ttbr0) in set_ttbr0() function