1 /* 2 * (C) Copyright 2000 3 * Subodh Nijsure, SkyStream Networks, snijsure@skystream.com 4 * 5 * SPDX-License-Identifier: GPL-2.0+ 6 */ 7 8 #include <common.h> 9 #include <command.h> 10 #if defined (CONFIG_4xx) 11 extern void ppc4xx_reginfo(void); 12 #elif defined (CONFIG_MPC86xx) 13 extern void mpc86xx_reginfo(void); 14 #elif defined(CONFIG_MPC85xx) 15 extern void mpc85xx_reginfo(void); 16 #endif 17 18 static int do_reginfo(cmd_tbl_t *cmdtp, int flag, int argc, 19 char * const argv[]) 20 { 21 #if defined (CONFIG_4xx) 22 ppc4xx_reginfo(); 23 #elif defined(CONFIG_MPC86xx) 24 mpc86xx_reginfo(); 25 26 #elif defined(CONFIG_MPC85xx) 27 mpc85xx_reginfo(); 28 #endif 29 30 return 0; 31 } 32 33 /**************************************************/ 34 35 #if defined(CONFIG_CMD_REGINFO) 36 U_BOOT_CMD( 37 reginfo, 2, 1, do_reginfo, 38 "print register information", 39 "" 40 ); 41 #endif 42