PCIE_PL_MSICIN_STATUS
uint32_t v = PCIE_READ(sc, PCIE_PL_MSICIN_STATUS + i * 0xC);
PCIE_WRITE(sc, PCIE_PL_MSICIN_STATUS + i * 0xC,