Symbol: PTE1_KERN
sys/arm/arm/pmap-v6.c
1067
pte1_store(pte1p, PTE1_KERN(pa, l1_prot, l1_attr));
sys/arm/arm/pmap-v6.c
1446
npte1 = PTE1_KERN(start, l1prot, l1attr);
sys/arm/arm/pmap-v6.c
844
pte1_store(pte1p++, PTE1_KERN(pa, PTE1_AP_KRW, l1_attr));