Changeset View

Standalone View

Show First 20 Lines • Show All 113 Lines • ▼ Show 20 Lines	if ((boothowto & RB_VERBOSE) != 0 \|\| (csr & BUCSR_BPEN) == 0)
printf("Branch Predictor %sabled\n",		printf("Branch Predictor %sabled\n",
(csr & BUCSR_BPEN) ? "en" : "dis");		(csr & BUCSR_BPEN) ? "en" : "dis");
}		}

void		void
booke_disable_l2_cache(void)		booke_disable_l2_cache(void)
{		{
}		}

		/* Return 0 on handled success, otherwise signal number. */
		int
		cpu_machine_check(struct thread td, struct trapframe frame, int *ucode)
		{
		register_t mcsr;

		mcsr = mfspr(SPR_MCSR);

		*ucode = BUS_OBJERR;
		return (SIGBUS);
		}