Alexander Boettcher fa2cbdc7cb Fix: don't deference stale pager pointer in core ... Reset pager pointer in platform_thread if pager object is removed. Fixes #532		2012-11-29 13:44:07 +01:00
..
bit_allocator.h	Add a bit array and bit allocator, issue #247	2012-08-09 10:23:55 +02:00
bit_array.h	Add a bit array and bit allocator, issue #247	2012-08-09 10:23:55 +02:00
cap_sel_alloc.h	NOVA: remove pd selector from non Core code	2012-08-09 11:09:41 +02:00
ipc_msgbuf.h	base-nova: solely revoke unused capabilities	2012-11-07 13:32:40 +01:00
ipc_pager.h	base: Tell a mapping wether it maps IO memory.	2012-11-14 16:36:51 +01:00
ipc.h	NOVA: force to map cap in pd_session::assing_pd	2012-08-09 11:09:41 +02:00
native_types.h	Generalize handling of PD-session arguments	2012-11-21 20:04:07 +01:00
pager.h	Fix: don't deference stale pager pointer in core	2012-11-29 13:44:07 +01:00
sleep.h	NOVA: don't use externals in sleep forever	2012-08-09 14:14:28 +02:00
thread_state.h	cpu_session: Access thread state by value	2012-11-23 12:20:22 +01:00