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