Symbol: vfio_platform_call_reset
drivers/vfio/platform/vfio_platform_common.c
224
ret = vfio_platform_call_reset(vdev, &extra_dbg);
drivers/vfio/platform/vfio_platform_common.c
256
ret = vfio_platform_call_reset(vdev, &extra_dbg);
drivers/vfio/platform/vfio_platform_common.c
374
return vfio_platform_call_reset(vdev, NULL);