void
ka750_conf()
{
printf("cpu0: KA750, hardware rev %d, ucode rev %d, ",
V750HARDW(vax_cpudata), V750UCODE(vax_cpudata));
if (mfpr(PR_ACCS) & 255) {
printf("FPA present, enabling.\n");
mtpr(0x8000, PR_ACCS);
} else
printf("no FPA\n");
if (mfpr(PR_TODR) == 0) { /* Check for failing battery */
mtpr(1, PR_TODR);
printf("WARNING: TODR battery broken\n");
}
/* Call ctuattach() here so it can setup its vectors. */
ctuattach();
}
void
ka730_conf(void)
{
/* Call ctuattach() here so it can setup its vectors. */
ctuattach();
}
