WDT7B
{ 0, WDT8B, WDT7B, WDT4B, 0, DMINT20, 0, 0,
{ INT2PRI43, 0, 32, 8, { 0, WDT7B, PCIE_BRIDGE, WDT8B } },
INTC_VECT(WDT6B, 0x28c0), INTC_VECT(WDT7B, 0x28e0),