view target-utils/libcommon/cmd_dieid.c @ 627:42c91c51ca7f

rvinterf: display GPF packets as "GPF" rather than "G23"
author Michael Spacefalcon <msokolov@ivan.Harhan.ORG>
date Mon, 01 Sep 2014 06:23:38 +0000
parents 8387dcba945d
children
line wrap: on
line source

#include "types.h"

void
cmd_dieid()
{
	u32 addr;

	for (addr = 0xFFFEF010; addr <= 0xFFFEF016; addr += 2)
		printf("%08X: %04X\n", addr, *(volatile u16 *)addr);
}