Index: kernel/generic/src/ipc/ops/pagein.c
===================================================================
--- kernel/generic/src/ipc/ops/pagein.c	(revision 072607b7612718a490dd8854b8c3cbf320c67751)
+++ kernel/generic/src/ipc/ops/pagein.c	(revision 9befb0d53289152fee41ce5a6b25b80f10a20185)
@@ -54,5 +54,12 @@
 		if (pte) {
 			frame = PTE_GET_FRAME(pte);
-			frame_reference_add(ADDR2PFN(frame));
+			pfn_t pfn = ADDR2PFN(frame);
+			if (find_zone(pfn, 1, 0) != (size_t) -1) {
+				/*
+				 * The frame is in physical memory managed by
+				 * the frame allocator.
+				 */
+				frame_reference_add(ADDR2PFN(frame));
+			}
 			IPC_SET_ARG1(answer->data, frame);
 		} else {