/* sep_get_time_handler - time request from user space @sep: sep we are to set the time for  */
static int sep_get_time_handler(struct sep_device *sep, unsigned long arg)
/* sep_get_time_handler - time request from user space @sep: sep we are to set the time for  */
static int sep_get_time_handler(struct sep_device *sep, unsigned long arg)
{
	struct sep_driver_get_time_t command_args;
	mutex_lock(&sep_mutex);
	command_args.time_value = sep_set_time(sep);
	command_args.time_physical_address = (unsigned long)sep_time_address(sep);
	mutex_unlock(&sep_mutex);
	if (copy_to_user((void __user *)arg,
			&command_args, sizeof(struct sep_driver_get_time_t)))
			return -EFAULT;
	return 0;
}