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
..
ipc_msgbuf.h	Delegate access to entrypoints via SCM rights	2012-11-05 17:31:04 +01:00
ipc.h	Delegate access to entrypoints via SCM rights	2012-11-05 17:31:04 +01: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
platform_env.h	Removed linux-specific 'local_interface.h'	2012-11-05 17:31:04 +01:00