PCI_MSIX_ENTRY_CTRL_MASKBIT
val = mask ? PCI_MSIX_ENTRY_CTRL_MASKBIT : 0;
if (vec_ctrl & PCI_MSIX_ENTRY_CTRL_MASKBIT) {
bool unmasked = !(ctrl & PCI_MSIX_ENTRY_CTRL_MASKBIT);
pci_msix_write_vector_ctrl(desc, ctrl | PCI_MSIX_ENTRY_CTRL_MASKBIT);
u32 ctrl = PCI_MSIX_ENTRY_CTRL_MASKBIT;
desc->pci.msix_ctrl |= PCI_MSIX_ENTRY_CTRL_MASKBIT;
desc->pci.msix_ctrl &= ~PCI_MSIX_ENTRY_CTRL_MASKBIT;