Symbol: L2_ADDR_BITS
sys/arch/aarch64/include/pte.h
138
#define L2_ADDR_BITS __BITS(29,21)
sys/arch/arm/include/arm32/pte.h
134
#define L2_ADDR_BITS 0x000ff000 /* L2 PTE address bits */