diff --git a/base-foc/include/base/ipc_pager.h b/base-foc/include/base/ipc_pager.h index cdcfc6bae..e8b0eaea5 100644 --- a/base-foc/include/base/ipc_pager.h +++ b/base-foc/include/base/ipc_pager.h @@ -75,21 +75,10 @@ namespace Genode { bool write_combined() const { return _write_combined; } /** - * Prepare map operation - * - * On Fiasco, we need to map a page locally to be able to map it to - * another address space. + * Prepare map operation is not needed on Fiasco.OC, since we clear the + * dataspace before this function is called. */ - void prepare_map_operation() - { - size_t mapping_size = 1 << _log2size; - for (addr_t i = 0; i < mapping_size; i += L4_PAGESIZE) { - if (_rw) - touch_read_write((unsigned char volatile *)(_src_addr + i)); - else - touch_read((unsigned char const volatile *)(_src_addr + i)); - } - } + void prepare_map_operation() { } }; diff --git a/base-foc/src/core/platform.cc b/base-foc/src/core/platform.cc index 8c73276b6..9d6fc80a1 100644 --- a/base-foc/src/core/platform.cc +++ b/base-foc/src/core/platform.cc @@ -250,8 +250,6 @@ static inline int sigma0_req_region(addr_t *addr, unsigned log2size) *addr = l4_utcb_mr()->mr[0] & (~0UL << L4_PAGESHIFT); - touch_rw((void *)addr, 1); - return 0; }