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));