Index: kernel/generic/src/ipc/ops/pagein.c
===================================================================
--- kernel/generic/src/ipc/ops/pagein.c	(revision 2a2fbc84d3b2a2ff06b9bb236ff8e813c17ce223)
+++ kernel/generic/src/ipc/ops/pagein.c	(revision 560b81c47c7bd8b84ad01838e371562b523c1123)
@@ -53,5 +53,5 @@
 		bool found = page_mapping_find(AS, IPC_GET_ARG1(answer->data),
 		    false, &pte);
-		if (found) {
+		if (found & PTE_PRESENT(&pte)) {
 			frame = PTE_GET_FRAME(&pte);
 			pfn_t pfn = ADDR2PFN(frame);