1895 int vfio_pin_pages(struct device *dev, unsigned long *user_pfn, int npage,  in vfio_pin_pages()  argument
1903 	if (!dev || !user_pfn || !phys_pfn || !npage)  in vfio_pin_pages()
1906 	if (npage > VFIO_PIN_PAGES_MAX_ENTRIES)  in vfio_pin_pages()
1927 					     npage, prot, phys_pfn);  in vfio_pin_pages()
1948 int vfio_unpin_pages(struct device *dev, unsigned long *user_pfn, int npage)  in vfio_unpin_pages()  argument
1955 	if (!dev || !user_pfn || !npage)  in vfio_unpin_pages()
1958 	if (npage > VFIO_PIN_PAGES_MAX_ENTRIES)  in vfio_unpin_pages()
1973 					       npage);  in vfio_unpin_pages()
2007 			 unsigned long *user_iova_pfn, int npage,  in vfio_group_pin_pages()  argument
2014 	if (!group || !user_iova_pfn || !phys_pfn || !npage)  in vfio_group_pin_pages()
2020 	if (npage > VFIO_PIN_PAGES_MAX_ENTRIES)  in vfio_group_pin_pages()
2028 					     npage, prot, phys_pfn);  in vfio_group_pin_pages()
2055 			   unsigned long *user_iova_pfn, int npage)  in vfio_group_unpin_pages()  argument
2061 	if (!group || !user_iova_pfn || !npage)  in vfio_group_unpin_pages()
2064 	if (npage > VFIO_PIN_PAGES_MAX_ENTRIES)  in vfio_group_unpin_pages()
2071 					       user_iova_pfn, npage);  in vfio_group_unpin_pages()