diff --git a/repos/base-hw/src/core/platform_pd.cc b/repos/base-hw/src/core/platform_pd.cc
index a130ed1ff..d5976538a 100644
--- a/repos/base-hw/src/core/platform_pd.cc
+++ b/repos/base-hw/src/core/platform_pd.cc
@@ -85,7 +85,7 @@ Hw::Address_space::Address_space(Kernel::Pd & pd, Page_table & tt,
 Hw::Address_space::Address_space(Kernel::Pd & pd)
 : _tt(*construct_at<Page_table>(_table_alloc(), *((Page_table*)Hw::Mm::core_page_tables().base))),
   _tt_phys((addr_t)_cma().phys_addr(&_tt)),
-  _tt_array(new (_cma()) Array([this] (void * virt) {
+  _tt_array(new (_cma()) Array([] (void * virt) {
     return (addr_t)_cma().phys_addr(virt);})),
   _tt_alloc(_tt_array->alloc()),
   _kernel_pd(pd) { }