NAKAMURA Gou a2548f5421 Revert "fix REQ-42" ...

This reverts commit 4a0682bbc1.

The reverted commit appears to be wrong, for example:
- arch_range_check()'s arguments and parameters are mismatch.
- arch_range_check() implementation is not checking range.

Conflicts:
	kernel/syscall.c

2016-03-28 13:51:57 +09:00

..

include

fix REQ-37: remap_one_page: remove to check page size

2016-03-27 14:05:00 +09:00

context.S

add modification history entry to the following files,

2013-11-14 18:30:06 +09:00

cpu.c

fix REQ-43

2016-03-25 12:57:31 +09:00

gencore.c

add ACSL annotation

2016-03-16 15:42:32 +09:00

interrupt.S

support times

2016-02-18 13:14:18 +09:00

local.c

add ACSL annotation

2016-03-16 15:42:32 +09:00

lock.c

Make lock/unlock in lock.c accord with arch-lock.h

2014-09-23 12:00:18 +09:00

Makefile.arch

Fix need to modify ihk/cokernel/Makefile when a file has been added under mckernel/arch (Bug#365)

2014-12-26 16:05:23 +09:00

memory.c

refactor some copyin/copyout functions

2016-03-23 19:04:32 +09:00

mikc.c

add modification history entry to the following files,

2013-11-14 18:30:06 +09:00

perfctr.c

modify PAPI support

2016-03-22 15:52:59 +09:00

syscall.c

Revert "fix REQ-42"

2016-03-28 13:51:57 +09:00

trampoline.S

add modification history entry to the following files,

2013-11-14 18:30:06 +09:00

vsyscall.c

vsyscall_gettimeofday: make timeval from TSC

2015-11-11 19:45:14 +09:00