From 3819eec03f34d3e05b397608a6876e462968bcf7 Mon Sep 17 00:00:00 2001 From: NAKAMURA Gou Date: Wed, 16 Sep 2015 13:16:22 +0900 Subject: [PATCH] cosmetic changes - sys_gettimeofday() --- kernel/syscall.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel/syscall.c b/kernel/syscall.c index 786f6251..2bab3bf7 100644 --- a/kernel/syscall.c +++ b/kernel/syscall.c @@ -4975,14 +4975,14 @@ void update_cpu_local_time(void) SYSCALL_DECLARE(gettimeofday) { struct timeval *tv = (struct timeval *)ihk_mc_syscall_arg0(ctx); - struct syscall_request request IHK_DMA_ALIGN; + struct syscall_request request IHK_DMA_ALIGN; /* Do it locally if supported */ if (gettime_local_support) { update_cpu_local_time(); /* Check validity of argument */ - if (!lookup_process_memory_range(cpu_local_var(current)->vm, + if (!lookup_process_memory_range(cpu_local_var(current)->vm, (unsigned long)tv, (unsigned long)tv + sizeof(*tv))) { return -EFAULT; }