switch_ttb        241 bsp/hal/arm/arch/mmu.c 		switch_ttb(phys);
switch_ttb         42 bsp/hal/arm/include/cpufunc.h void	 switch_ttb(paddr_t);