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