Symbol: pte2_set_bit
sys/arm/arm/pmap-v6.c
5670
pte2_set_bit(pte2p, PTE2_NM);
sys/arm/arm/pmap-v6.c
5728
pte2_set_bit(pte2p, PTE2_NM | PTE2_RO);
sys/arm/arm/pmap-v6.c
5745
pte2_set_bit(pte2p, PTE2_NM);