Symbol: read_tcr
arch/arm64/include/asm/memory.h
237
#define vabits_actual (64 - ((read_tcr() >> 16) & 63))
arch/arm64/include/asm/pgtable-prot.h
89
return read_tcr() & TCR_EL1_DS;