Symbol: vfio_ccw_destroy_regions
drivers/s390/cio/vfio_ccw_drv.c
473
vfio_ccw_destroy_regions();
drivers/s390/cio/vfio_ccw_drv.c
484
vfio_ccw_destroy_regions();