Alexander Boettcher 1d6a00f01a Cleanup: cap allocation ...

Allocate exc_pt_sel inside Thread_base object
instead of pager object, since it is a thread
specific characteristic.

Same for freeing of the thread capabilities:
- ec, sc, rs, exc_pt_sel is thread specific
and has nothing to do in server nor pager object.

2012-07-04 14:56:46 +02:00

..

cap_sel_alloc.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

ipc_msgbuf.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

ipc_pager.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

ipc.h

Do not marshal invalid capabilities on NOVA/x86

2012-03-13 16:32:23 +01:00

native_types.h

Fix: thread identifier comparator

2012-07-04 14:56:46 +02:00

pager.h

Cleanup: cap allocation

2012-07-04 14:56:46 +02:00

sleep.h

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00