text: /*
   * Copyright (c) 2006-2018, RT-Thread Development Team
   *
   * SPDX-License-Identifier: Apache-2.0
   *
   * Change Logs:
   * Date           Author       Notes
   * 2008-07-29     Bernard      first version from QiuYi implementation
   */
  
  #include <rtthread.h>
  
  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;
  }
  