HMC_ID_LEN
char print_buffer[HMC_ID_LEN + 1];
bytes = copy_from_user(hmc->hmc_id, new_hmc_id, HMC_ID_LEN);
memcpy(buffer->real_addr_local, hmc->hmc_id, HMC_ID_LEN);
unsigned char hmc_id[HMC_ID_LEN];