5 * SPDX-License-Identifier: GPL-2.0+
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);
18 static int do_reginfo(cmd_tbl_t *cmdtp, int flag, int argc,
21 #if defined (CONFIG_4xx)
23 #elif defined(CONFIG_MPC86xx)
26 #elif defined(CONFIG_MPC85xx)
33 /**************************************************/
35 #if defined(CONFIG_CMD_REGINFO)
37 reginfo, 2, 1, do_reginfo,
38 "print register information",