Symbol: L0_ADDR_BITS
sys/arch/aarch64/aarch64/db_interface.c
500
(va & L0_ADDR_BITS) >> L0_SHIFT,
sys/arch/aarch64/include/pmap.h
97
#define l0pde_index(v) (((vaddr_t)(v) & L0_ADDR_BITS) >> L0_SHIFT)