Searched refs:ttbr (Results 1 – 1 of 1) sorted by relevance
9199 uint64_t ttbr; in pmap_to_ttbr0() local9201 ttbr = pmap->pm_ttbr; in pmap_to_ttbr0()9202 ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_to_ttbr0()9203 ttbr |= ttbr_flags; in pmap_to_ttbr0()9205 return (ttbr); in pmap_to_ttbr0()