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(); }