Symbol: PTE_ATTR_CI
sys/arch/arm64/arm64/pmap.c
1798
attr |= ATTR_IDX(PTE_ATTR_CI);
sys/arch/arm64/dev/smmu.c
1137
attr |= ATTR_IDX(PTE_ATTR_CI);