Balazs Gerofi f5857cfc9e MM: use ihk_mc_{alloc/free}_pages() everywhere and fix free_pages() on kmalloc()ed object bug

2016-08-17 18:02:05 +09:00

..

include

IHK-IKC: map queue in McKernel as cacheable

2016-08-14 11:16:40 +09:00

context.S

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

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

cpu.c

save fpregs when to call sighandler

2016-07-05 15:26:00 +09:00

gencore.c

add ACSL annotation

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

interrupt.S

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

2016-03-28 22:57:44 +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

MM: use ihk_mc_{alloc/free}_pages() everywhere and fix free_pages() on kmalloc()ed object bug

2016-08-17 18:02:05 +09:00

mikc.c

ihk_mc_ikc_init_first_local(): hold ref to master channel

2016-08-06 08:52:14 +09:00

perfctr.c

fix a couple of debug msgs

2016-08-14 11:30:17 +09:00

syscall.c

eclair: make idle threads visible

2016-07-22 18:06:11 +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