Symbol: TCR_ORGN0_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
116
| TCR_SH0_IS | TCR_IRGN0_WBWA | TCR_ORGN0_WBWA