/* Change Logs: Date Author Notes  Bernard first version from QiuYi implementation  */
void rt_hw_show_memory(rt_uint32_t addr, rt_uint32_t size)
/* Change Logs: Date Author Notes  Bernard first version from QiuYi implementation  */
void rt_hw_show_memory(rt_uint32_t addr, rt_uint32_t size)
{
	int i = 0, j =0;
	RT_ASSERT(addr);
	addr = addr & ~0xF;
	size = 4*((size + 3)/4);
	while(i < size)
	{
		rt_kprintf("0x%08x: ", addr );
		for(j=0; j<4; j++)
		{
			rt_kprintf("0x%08x  ", *(rt_uint32_t *)addr);
			addr += 4;
			i++;
		}
		rt_kprintf("\n");
	}
	return;
}