Symbol: is_ttbr1_addr
arch/arm64/kernel/traps.c
157
if (!is_ttbr1_addr(kaddr))
arch/arm64/mm/fault.c
142
} else if (is_ttbr1_addr(addr)) {