Symbol: l1pte_index
sys/arch/alpha/include/pte.h
121
#define l1pte_index(va) \
sys/arch/arm/include/arm32/pmap.h
603
#define l1pte_index(v) ((vaddr_t)(v) >> L1_S_SHIFT)