Fix deadlock involving mmap_sem and memory_range_lock

Change-Id: I187246271163e708af6542c057d0a8dfde5b211e
Fujitsu: TEMP_FIX_1
Refs: #986

kernel/include/syscall.h

@@ -462,7 +462,7 @@ static inline unsigned long timespec_to_jiffy(const struct timespec *ats)
 
 void reset_cputime(void);
 void set_cputime(int mode);
-int do_munmap(void *addr, size_t len);
+int do_munmap(void *addr, size_t len, int holding_memory_range_lock);
 intptr_t do_mmap(intptr_t addr0, size_t len0, int prot, int flags, int fd,
 		off_t off0);
 void clear_host_pte(uintptr_t addr, size_t len);