Symbol: TCR_IRGN1_WBWA
headers/private/kernel/arch/arm64/arm_registers.h
635
#define TCR_CACHE_ATTRS ((TCR_IRGN0_WBWA | TCR_IRGN1_WBWA) |\
src/system/kernel/arch/arm64/arch_cpu.cpp
40
tcr |= TCR_SH1_IS | TCR_IRGN1_WBWA | TCR_ORGN1_WBWA;