Takayuki Okamoto 0278a876db disable POSTK_DEBUG_* on x86_64

2017-09-07 22:20:22 +09:00

..

include

Add hwcap.h for x86

2017-09-06 11:10:32 +09:00

context.S

x86: encode cpu# in IA32_TSC_AUX and size of GDTe#15

2016-03-28 22:57:44 +09:00

coredump.c

add arm64 support

2017-09-05 15:06:27 +09:00

cpu.c

add arm64 support

2017-09-05 15:06:27 +09:00

gencore.c

add arm64 support

2017-09-05 15:06:27 +09:00

interrupt.S

support to utility thread offloading

2017-06-27 13:27:09 +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

disable POSTK_DEBUG_* on x86_64

2017-09-07 22:20:22 +09:00

memory.c

add arm64 support

2017-09-05 15:06:27 +09:00

mikc.c

IKC: delete recieve channel list

2017-05-19 10:26:29 +09:00

perfctr.c

add arm64 support

2017-09-05 15:06:27 +09:00

syscall.c

add arm64 support

2017-09-05 15:06:27 +09:00

trampoline.S

add modification history entry to the following files,

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

vsyscall.c

create rusage branch.

2017-03-15 23:22:51 +09:00