x86/xen: resume timer irqs early
[linux/fpc-iii.git] / drivers / iommu / pci.h
blob352d80ae7443b0ea65deb7f89fe146d66f92ae40
1 /*
2 * This program is free software; you can redistribute it and/or modify
3 * it under the terms of the GNU General Public License, version 2, as
4 * published by the Free Software Foundation.
6 * This program is distributed in the hope that it will be useful,
7 * but WITHOUT ANY WARRANTY; without even the implied warranty of
8 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9 * GNU General Public License for more details.
11 * You should have received a copy of the GNU General Public License
12 * along with this program; if not, write to the Free Software
13 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
15 * Copyright (C) 2013 Red Hat, Inc.
16 * Copyright (C) 2013 Freescale Semiconductor, Inc.
19 #ifndef __IOMMU_PCI_H
20 #define __IOMMU_PCI_H
22 /* Helper function for swapping pci device reference */
23 static inline void swap_pci_ref(struct pci_dev **from, struct pci_dev *to)
25 pci_dev_put(*from);
26 *from = to;
29 #endif /* __IOMMU_PCI_H */