REG_PCI_INT_MSK
reg_write32(REG_PCI_INT_MSK, reg_read32(REG_PCI_INT_MSK) | PCI_INT_STAT_TS_INT | 0x00fc00);
reg_write32(REG_PCI_INT_MSK, 0);
", mstat 0x%08" B_PRIx32 "\n", reg_read32(REG_PCI_INT_MSK),
reg_write32(REG_PCI_INT_MSK, 0);
reg_write32(REG_PCI_INT_MSK, 0x0);