Symbol: l3pte_index
sys/arch/aarch64/include/pmap.h
119
#define l3pte_index(v) (((vaddr_t)(v) & L3_ADDR_BITS) >> L3_SHIFT)
sys/arch/alpha/include/pte.h
115
#define l3pte_index(va) \