123 				 __le32 *val, int count)  in vfio_user_config_read()
154 				  __le32 val, int count)  in vfio_user_config_write()
176 				    int offset, __le32 *val)  in vfio_default_config_read()
202 				     int offset, __le32 val)  in vfio_default_config_write()
249 				   int offset, __le32 *val)  in vfio_direct_config_read()
274 				 int offset, __le32 val)  in vfio_raw_config_write()
287 				int offset, __le32 *val)  in vfio_raw_config_read()
301 				  int offset, __le32 val)  in vfio_virt_config_write()
309 				 int offset, __le32 *val)  in vfio_virt_config_read()
443 	u32 val;  in vfio_generate_bar_flags()  local
519 				  int offset, __le32 *val)  in vfio_basic_config_read()
557 				   int offset, __le32 val)  in vfio_basic_config_write()
697 				int offset, __le32 val)  in vfio_pm_config_write()
752 				 int offset, __le32 val)  in vfio_vpd_config_write()
834 				 int offset, __le32 val)  in vfio_exp_config_write()
918 				int offset, __le32 val)  in vfio_af_config_write()
1094 				int offset, __le32 *val)  in vfio_msi_config_read()
1114 				 int offset, __le32 val)  in vfio_msi_config_write()
1594 				u32 val = epos = PCI_EXT_CAP_NEXT(header);  in vfio_ecap_init()  local
1810 	__le32 val = 0;  in vfio_config_do_rw()  local