PCI_PASID_CTRL_EXEC
if (ctrl & PCI_PASID_CTRL_EXEC)
ctrl &= PCI_PASID_CTRL_ENABLE | PCI_PASID_CTRL_EXEC |