Symbol: PTE_ATTR_WB
sys/arch/arm64/arm64/pmap.c
1789
attr |= ATTR_IDX(PTE_ATTR_WB);
sys/arch/arm64/dev/smmu.c
1122
attr |= ATTR_IDX(PTE_ATTR_WB);