pci_reg_t reg1 = pci_read_cspace(device->cspace_base, device->msi_loc);
// manipulate the MSI_CTRL to allow device using MSI to request service.
- reg1 = ((((reg1 >> 16) & ~0x70) | 0x1) << 16) | (reg1 & 0xffff);
+ reg1 = (reg1 & 0xff8fffff) | 0x10000;
pci_write_cspace(device->cspace_base, device->msi_loc, reg1);
}