WDT8B
{ 0, WDT8B, WDT7B, WDT4B, 0, DMINT20, 0, 0,
{ INT2PRI43, 0, 32, 8, { 0, WDT7B, PCIE_BRIDGE, WDT8B } },
INTC_VECT(WDT8B, 0x2900),