// SPDX-License-Identifier: GPL-2.0+

  /*
   * (C) Copyright 2000
   * Subodh Nijsure, SkyStream Networks, snijsure@skystream.com

   */
  
  #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",

  	""

  );