*/

 */

extern register_t get_spr(int);

extern register_t get_spr(int);

DB_SHOW_COMMAND(spr, db_show_spr)

DB_SHOW_COMMAND(spr, db_show_spr)

{

{

	register_t spr;

	register_t spr;

	db_printf("SPR %d(%x): %lx\n", saved_sprno, saved_sprno,

	db_printf("SPR %d(%x): %lx\n", saved_sprno, saved_sprno,

	    (unsigned long)spr);

	    (unsigned long)spr);

}

}