/* 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;
}