Symbol: idal_2k_nr_words
drivers/s390/cio/vfio_ccw_cp.c
597
return idal_2k_nr_words((void *)iova, bytes);
drivers/s390/cio/vfio_ccw_cp.c
601
return idal_2k_nr_words((void *)iova, bytes);