Symbol: TCR_ORGN1_WBWA
headers/private/kernel/arch/arm64/arm_registers.h
641
(TCR_ORGN0_WBWA | TCR_ORGN1_WBWA))
src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp
117
| TCR_SH1_IS | TCR_IRGN1_WBWA | TCR_ORGN1_WBWA;