Bahadir Balban 2bd3266498 Removed bits from kernel where pager utcb is set. ...

Pagers now set their own utcb explicitly via exchange_registers.
exregs accepts calls from active pagers for this purpose only.

2009-10-18 15:01:38 +03:00

..

bit.h

Few more fixes.

2008-02-09 14:24:49 +00:00

idpool.h

Removed kmalloc. Initialization path resolved, almost done.

2009-08-06 14:15:39 +03:00

list.h

Removed linux linked list dependency.

2009-06-02 13:19:17 +03:00

math.h

Removed bits from kernel where pager utcb is set.

2009-10-18 15:01:38 +03:00

memcache.h

Some more progress on resource management and boot up.

2009-07-29 13:32:38 +03:00

mutex.h

Fix to l4_mutex_control for the unexpected sleeping with mutex held

2009-06-10 15:41:30 +03:00

printk.h

Initial commit

2008-01-13 13:53:52 +00:00

spinlock.h

Towards finishing exchange_registers()

2008-09-13 18:07:00 +03:00

string.h

Initial commit

2008-01-13 13:53:52 +00:00

wait.h

Removed linux linked list dependency.

2009-06-02 13:19:17 +03:00