new_hmc_id       1207 drivers/misc/ibmvmc.c 				  unsigned char __user *new_hmc_id)
new_hmc_id       1236 drivers/misc/ibmvmc.c 	bytes = copy_from_user(hmc->hmc_id, new_hmc_id, HMC_ID_LEN);