PCI_MSI_MASK_32
desc.pci.mask_pos = dev->msi_cap + PCI_MSI_MASK_32;
p_setd(perm, PCI_MSI_MASK_32, NO_VIRT, ALL_WRITE);