ret_vmc_index 1302 drivers/misc/ibmvmc.c u32 __user *ret_vmc_index) ret_vmc_index 1338 drivers/misc/ibmvmc.c bytes = copy_to_user(ret_vmc_index, &vmc_drc_index, ret_vmc_index 1339 drivers/misc/ibmvmc.c sizeof(*ret_vmc_index));