Symbol: l2pte_index
sys/arch/alpha/include/pte.h
118
#define l2pte_index(va) \
sys/arch/arm/include/arm32/pmap.h
629
#define l2pte_index(v) ((((v) & L2_ADDR_BITS) >> PGSHIFT) << (PGSHIFT-L2_S_SHIFT))