/*
 * (C) Copyright 2000
 * Subodh Nijsure, SkyStream Networks, snijsure@skystream.com
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#include <common.h>
#include <command.h>
#include <asm/ppc.h>

static int do_reginfo(cmd_tbl_t *cmdtp, int flag, int argc,
		       char * const argv[])
{
	print_reginfo();

	return 0;
}

 /**************************************************/

U_BOOT_CMD(
	reginfo,	2,	1,	do_reginfo,
	"print register information",
	""
);