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.c8867 static uint64_t __read_mostly ttbr_flags; variable
8880 ttbr |= ttbr_flags; in pmap_to_ttbr0()
8900 ttbr_flags |= TTBR_CnP; in pmap_set_cnp()