TTBR_ADDR_MASK 212 boot/arch/arm32/src/mm.c uint32_t val = (uint32_t)boot_pt & TTBR_ADDR_MASK; TTBR_ADDR_MASK 155 kernel/arch/arm32/include/arch/mm/page.h uint32_t val = (uint32_t)pt & TTBR_ADDR_MASK;