Symbol: L1_ADDR_BITS
sys/arch/aarch64/include/pte.h
129
#define L1_ADDR_BITS __BITS(38,30)
sys/arch/arm/include/arm32/pte.h
133
#define L1_ADDR_BITS 0xfff00000 /* L1 PTE address bits */