get_ttb           240 bsp/hal/arm/arch/mmu.c 	if (phys != get_ttb())
get_ttb            40 bsp/hal/arm/include/cpufunc.h paddr_t	 get_ttb(void);