WDT4B
{ 0, WDT8B, WDT7B, WDT4B, 0, DMINT20, 0, 0,
{ INT2PRI39, 0, 32, 8, { 0, 0, 0, WDT4B } },
INTC_VECT(WDT4B, 0x2880), INTC_VECT(WDT5B, 0x28a0),