minix/kernel/system
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
..
do_abort.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_clear.c SMP - lazy FPU 2010-09-15 14:11:25 +00:00
do_copy.c KCall methods do not depend on m_source and m_type fields 2010-06-01 08:54:31 +00:00
do_cprofile.c kernel: don't build cprofile code by default 2011-08-02 15:25:54 +02:00
do_devio.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_endksig.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_exec.c SMP - lazy FPU 2010-09-15 14:11:25 +00:00
do_exit.c More endpoint_t correctness. 2010-06-08 14:09:18 +00:00
do_fork.c Revert "print kernel stacktrace for exceptions in kernel" 2011-07-22 15:01:44 +02:00
do_getinfo.c libsys: unbreak getidle() 2011-12-16 16:06:09 +00:00
do_getksig.c include, kernel: minor fixes to make compiling and linking work with clang. 2010-07-06 11:59:19 +00:00
do_irqctl.c if verbore=1 tell us who registers which irq handler 2010-10-21 17:07:12 +00:00
do_kill.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_mcontext.c Revert "print kernel stacktrace for exceptions in kernel" 2011-07-22 15:01:44 +02:00
do_memset.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_newmap.c Oops, last commit included more than was intended 2010-05-20 08:07:47 +00:00
do_privctl.c KERNEL - do_privctl() fix 2012-01-13 11:29:59 +00:00
do_profbuf.c kernel: don't build cprofile code by default 2011-08-02 15:25:54 +02:00
do_runctl.c SMP - Process is stopped when VM modifies the page tables 2010-09-15 14:11:12 +00:00
do_safecopy.c RS live update support. 2010-07-09 18:29:04 +00:00
do_safemap.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_schedctl.c SMP - Changed prototype of sys_schedule() 2010-09-15 14:10:42 +00:00
do_schedule.c SMP - Changed prototype of sys_schedule() 2010-09-15 14:10:42 +00:00
do_setalarm.c More endpoint_t correctness. 2010-06-08 14:09:18 +00:00
do_setgrant.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_sigreturn.c Revert "print kernel stacktrace for exceptions in kernel" 2011-07-22 15:01:44 +02:00
do_sigsend.c kernel: fix GCC warnings 2011-07-18 19:44:59 +02:00
do_sprofile.c fix clang warnings -R in kernel/ and servers/ 2011-06-09 16:09:13 +02:00
do_statectl.c Driver refactory for live update and crash recovery. 2010-04-08 13:41:35 +00:00
do_stime.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_sysctl.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_times.c More endpoint_t correctness. 2010-06-08 14:09:18 +00:00
do_trace.c Convert kernel over to bsdmake 2010-04-01 22:22:33 +00:00
do_umap.c Split off sys_umap_remote from sys_umap 2011-06-10 14:28:20 +00:00
do_umap_remote.c Split off sys_umap_remote from sys_umap 2011-06-10 14:28:20 +00:00
do_update.c SMP - fixed usage of stale TLB entries 2012-01-13 11:30:00 +00:00
do_vdevio.c More endpoint_t correctness. 2010-06-08 14:09:18 +00:00
do_vmctl.c SMP - asyn send SMP safe 2012-01-13 11:30:01 +00:00
do_vtimer.c KCall methods do not depend on m_source and m_type fields 2010-06-01 08:54:31 +00:00
Makefile.inc Add MKMCONTEXT option 2011-08-02 13:57:31 +02:00