From 18f90ca1e36af090328b0e83b5067f0c04f75fa3 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Thu, 2 Jan 2020 15:30:28 +0100 Subject: [PATCH] nova: request stack pointer on page fault The SP value is part of the Page_fault_info object but was not requested from the kernel on portal creation. --- repos/base-nova/src/core/pager.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-nova/src/core/pager.cc b/repos/base-nova/src/core/pager.cc index 63546acac..149140f1e 100644 --- a/repos/base-nova/src/core/pager.cc +++ b/repos/base-nova/src/core/pager.cc @@ -641,7 +641,7 @@ Pager_object::Pager_object(Cpu_session_capability cpu_session_cap, addr_t ec_sel = pager_threads[genode_cpu_id]->native_thread().ec_sel; /* create portal for page-fault handler - 14 */ - _exceptions.register_handler<14>(*this, Mtd::QUAL | Mtd::EIP, + _exceptions.register_handler<14>(*this, Mtd::QUAL | Mtd::ESP | Mtd::EIP, _page_fault_handler); /* create portal for startup handler - 26 */