genode/base/src/core
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
..
include Propagate 'Range_allocator::alloc_aligned' errors 2012-11-28 22:51:09 +01:00
x86 Propagate 'Range_allocator::alloc_aligned' errors 2012-11-28 22:51:09 +01:00
context_area.cc Propagate 'Range_allocator::alloc_aligned' errors 2012-11-28 22:51:09 +01:00
core_mem_alloc.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
cpu_session_component.cc Fix: don't deference stale pager pointer in core 2012-11-29 13:44:07 +01:00
dataspace_component.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
dump_alloc.cc 64bit fix for region dump 2012-09-24 09:17:58 +02:00
io_mem_session_component.cc Propagate 'Range_allocator::alloc_aligned' errors 2012-11-28 22:51:09 +01:00
main.cc Introduce platform-specific services for core 2012-10-29 10:08:29 +01:00
mb_info.h Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
multiboot_info.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
pd_session_component.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
platform_services.cc Introduce platform-specific services for core 2012-10-29 10:08:29 +01:00
ram_session_component.cc Propagate 'Range_allocator::alloc_aligned' errors 2012-11-28 22:51:09 +01:00
rm_session_component.cc Fix: don't deference stale pager pointer in core 2012-11-29 13:44:07 +01:00
rom_session_component.cc Add support for allocating DMA memory 2012-06-20 09:17:48 +02:00
signal_session_component.cc Reduce LOG noise to due disappeared clients 2012-11-02 13:35:45 +01:00
signal_source_component.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00