Tomas Hruby 4f962b4798 A small mini_receive() cleanup ...

- this patch substitutes *xpp for sender to increase readability of
  mini_receive().

- makes sure that the dequeued sender has p_q_link == NULL and that
  this condition holds when enqueuing the sender again. 

- it is a sanity check to make sure that the new sender is not
  enqueued already. Before this change the dequeued sender's p_q_link
  may not be NULL and it was only set to NULL when enqueued again.

2010-05-07 11:22:49 +00:00

..

arch/i386

debugging - printing processes on serial

2010-05-03 17:37:18 +00:00

system

kernel: more diagnostics for privctl ENOMEM conditions.

2010-04-29 08:50:52 +00:00

clock.c

Userspace scheduling

2010-03-29 11:07:20 +00:00

clock.h

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

config.h

Driver refactory for live update and crash recovery.

2010-04-08 13:41:35 +00:00

const.h

Fixed brackets in bitmap macros

2010-03-30 08:34:33 +00:00

debug.c

kernel: don't try to lookup ANY in debug output.

2010-05-06 22:39:11 +00:00

debug.h

NOREC_ENTER and NOREC_RETURN checks removed

2010-03-29 11:43:10 +00:00

glo.h

Changed pagefault delivery to VM

2010-04-26 23:21:26 +00:00

interrupt.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

ipc.h

Set IPC status code only for RECEIVE

2010-04-26 14:43:59 +00:00

kernel.h

Time accounting based on TSC

2010-02-10 15:36:54 +00:00

main.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

Makefile

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

priv.h

kernel: increase some per-process privilege limits.

2010-05-06 22:21:08 +00:00

proc.c

A small mini_receive() cleanup

2010-05-07 11:22:49 +00:00

proc.h

Changed pagefault delivery to VM

2010-04-26 23:21:26 +00:00

profile.c

remove intr_disabled() as interrupts are always disabled in the kernel now.

2010-04-26 15:32:42 +00:00

profile.h

cprofile not conditional

2009-01-09 21:44:52 +00:00

proto.h

debugging - printing processes on serial

2010-05-03 17:37:18 +00:00

start.c

Remove U16_t and most other similar types. Rewrite functions to ansi-style

2010-04-21 11:05:22 +00:00

system.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

system.h

Driver refactory for live update and crash recovery.

2010-04-08 13:41:35 +00:00

table.c

Prioritized NOTIFY messages for reliable asynchonrous delivery of system events.

2010-03-22 23:44:55 +00:00

type.h

Miscellaneous code cleanup.

2010-03-22 20:43:06 +00:00

utility.c

panic() cleanup.

2010-03-05 15:05:11 +00:00

vm.h

intr_disabled() tests removed

2010-02-09 15:29:58 +00:00

watchdog.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

watchdog.h

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00