Home
last modified time | relevance | path

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

/freebsd/sys/arm64/arm64/
H A Dpmap.c9190 static uint64_t __read_mostly ttbr_flags; variable
9203 ttbr |= ttbr_flags; in pmap_to_ttbr0()
9223 ttbr_flags |= TTBR_CnP; in pmap_set_cnp()