Index: sys/compat/linuxkpi/common/include/linux/pci.h =================================================================== --- sys/compat/linuxkpi/common/include/linux/pci.h +++ sys/compat/linuxkpi/common/include/linux/pci.h @@ -1050,4 +1050,16 @@ const struct pci_device_id *, struct pci_dev *); extern int linux_pci_detach_device(struct pci_dev *); +static inline int +pci_dev_present(const struct pci_device_id *cur) +{ + while (cur && (cur->vendor || cur->device)) { + if (pci_find_device(cur->vendor, cur->device) != NULL) { + return 1; + } + cur++; + } + return 0; +} + #endif /* _LINUX_PCI_H_ */ Index: sys/compat/linuxkpi/common/include/linux/srcu.h =================================================================== --- sys/compat/linuxkpi/common/include/linux/srcu.h +++ sys/compat/linuxkpi/common/include/linux/srcu.h @@ -49,4 +49,7 @@ extern int init_srcu_struct(struct srcu_struct *); extern void cleanup_srcu_struct(struct srcu_struct *); +#define synchronize_srcu_expedited(srcu) do { \ + synchronize_srcu(srcu); \ +} while (0) #endif /* _LINUX_SRCU_H_ */