Symbol: PTE2_ATTR2IDX
sys/arm/arm/pmap-v6.c
540
old_idx = PTE2_ATTR2IDX(pte2_attr_tab[(int)old_attr]);
sys/arm/arm/pmap-v6.c
541
new_idx = PTE2_ATTR2IDX(pte2_attr_tab[(int)new_attr]);