Symbol: L1_C_ADDR_MASK
sys/arch/arm/arm/pmap7.c
2287
pa = (paddr_t)(pde & L1_C_ADDR_MASK);
sys/arch/arm/arm/pmap7.c
2554
pte = (pt_entry_t *) kernel_pt_lookup(pde[L1_IDX(va)] & L1_C_ADDR_MASK);
sys/arch/arm/arm/pmap7.c
2672
pde[L1_IDX(va)] & L1_C_ADDR_MASK);