[kbuild-all] Re: [RFC PATCH v4 05/10] vfio/pci: export vfio_pci_get_barmap