BIREG_INTRDES
BIREG_INTRDES, ba->ba_intcpu);
MEMWR(BIREG_INTRDES, ba->ba_intcpu);
KDB_WL(BIREG_INTRDES, ba->ba_intcpu); /* Interrupt on CPU # */