/* Print out the state of various machine registers. Currently prints out LAWs, BR0/OR0, and BATs  */
void print_reginfo(void)
/* Print out the state of various machine registers. Currently prints out LAWs, BR0/OR0, and BATs  */
void print_reginfo(void)
{
	print_bats();
	print_laws();
	print_lbc_regs();
}