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

/freebsd-current/sys/arm64/arm64/
H A Dpmap.c8727 uint64_t ttbr; local
8729 ttbr = pmap->pm_ttbr;
8730 ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));
8731 ttbr |= ttbr_flags;
8733 return (ttbr);
8760 /* Update ttbr{0,1}_el1 with the CnP flag */

Completed in 74 milliseconds