/* | |
* (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", | |
"" | |
); |