>> +} >> +EXPORT_SYMBOL_GPL(range_intersect_range); > > If this function is being exported, shouldn't the function name follow > the pattern of having the vfio_pci_core_* prefix like the rest of the > symbols exported in this file. Something like > vfio_pci_core_range_intersect_range? Yes, that would be apt. Will make the change.