KDB_WL
KDB_WL(BIREG_VAXBICSR, KDB_RL(BIREG_VAXBICSR) | BICSR_NRST);
KDB_WL(BIREG_INTRDES, ba->ba_intcpu); /* Interrupt on CPU # */
KDB_WL(BIREG_BCICSR, KDB_RL(BIREG_BCICSR) |
KDB_WL(BIREG_UINTRCSR, ba->ba_ivec);