Home
last modified time | relevance | path

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

/freebsd-14-stable/sys/arm64/arm64/
HDpmap.c7346 static uint64_t __read_mostly ttbr_flags; variable
7359 ttbr |= ttbr_flags; in pmap_to_ttbr0()
7379 ttbr_flags |= TTBR_CnP; in pmap_set_cnp()