Tomas Hruby 758d788bbe SMP - asyn send SMP safe ... - we must not deliver messages from/to unstable address spaces. In such a case, we must postpone the delivery. To make sute that a process which is expecting an asynchronous message does not starve, we must remember that we skipped delivery of some messages and we must try to deliver again once the source address space is stable again.		2012-01-13 11:30:01 +00:00
..
arch/i386	SMP - fixed usage of stale TLB entries	2012-01-13 11:30:00 +00:00
system	SMP - asyn send SMP safe	2012-01-13 11:30:01 +00:00
clock.c
clock.h	Userspace scheduling - exporting stats	2010-09-19 15:52:12 +00:00
config.h
const.h
cpulocals.c
cpulocals.h	SMP - cpu_is_idle made volatile	2012-01-13 11:30:00 +00:00
debug.c	Kernel: remove unused MF_ASYNMSG	2011-11-01 19:21:19 +00:00
debug.h	Cleaner MKSYSDEBUG option	2011-08-18 15:21:29 +02:00
extract-errno.sh
extract-mfield.sh
extract-mtype.sh
glo.h	Add MKAPIC and MKACPI options	2011-07-31 16:22:43 +02:00
interrupt.c
interrupt.h
ipc.h	Set IPC status code only for RECEIVE	2010-04-26 14:43:59 +00:00
kernel.h
main.c
Makefile
perf.h
priv.h
proc.c	SMP - asyn send SMP safe	2012-01-13 11:30:01 +00:00
proc.h	SMP - asyn send SMP safe	2012-01-13 11:30:01 +00:00
profile.c
profile.h
proto.h	SMP - asyn send SMP safe	2012-01-13 11:30:01 +00:00
smp.c	SMP - smp_schedule()	2012-01-13 11:30:01 +00:00
smp.h	SMP - fixed IPI livelock	2012-01-13 11:30:00 +00:00
spinlock.h	SMP - fixed compilation and removed warnings	2011-12-20 12:58:20 +00:00
start.c
system.c	KERNEL - cause SIGSEGV if bad pointer to kernel	2012-01-13 11:30:00 +00:00
system.h	kernel: don't build cprofile code by default	2011-08-02 15:25:54 +02:00
table.c	ELF multiboot support	2011-05-04 18:51:43 +02:00
type.h	ELF multiboot support	2011-05-04 18:51:43 +02:00
utility.c	SMP - fixed IPI livelock	2012-01-13 11:30:00 +00:00
vm.h	No linear addresses in message delivery	2010-06-11 08:16:10 +00:00
watchdog.c
watchdog.h	Watchdog and kernel profiling for AMD	2010-09-23 14:42:30 +00:00