Home
last modified time | relevance | path

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

/freebsd/sys/arm64/arm64/
H A Dpmap.c8806 uint64_t ttbr; in pmap_to_ttbr0() local
8808 ttbr = pmap->pm_ttbr; in pmap_to_ttbr0()
8809 ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie)); in pmap_to_ttbr0()
8810 ttbr |= ttbr_flags; in pmap_to_ttbr0()
8812 return (ttbr); in pmap_to_ttbr0()