Symbol: PTE_ATTR_WT
sys/arch/arm64/arm64/pmap.c
1794
attr |= ATTR_IDX(PTE_ATTR_WT);
sys/arch/arm64/dev/smmu.c
1130
attr |= ATTR_IDX(PTE_ATTR_WT);