Symbol: l2pte_index
sys/arch/alpha/include/pte.h
120
#define l2pte_index(va) \
sys/arch/arm/include/pmap.h
329
#define l2pte_index(v) (((v) & L2_ADDR_BITS) >> L2_S_SHIFT)