Symbol: vfio_df_ioctl_detach_pt
drivers/vfio/vfio.h
353
int vfio_df_ioctl_detach_pt(struct vfio_device_file *df,
drivers/vfio/vfio_main.c
1372
ret = vfio_df_ioctl_detach_pt(df, uptr);