diff --git a/executer/kernel/mcctrl/syscall.c b/executer/kernel/mcctrl/syscall.c
index 44f6f152..82e958bf 100644
--- a/executer/kernel/mcctrl/syscall.c
+++ b/executer/kernel/mcctrl/syscall.c
@@ -1152,6 +1152,11 @@ static int pager_req_create(ihk_os_t os, int fd, uintptr_t result_pa)
 		goto out;
 	}
 
+	if (!strcmp(inode->i_sb->s_type->name, "proc")) {
+		error = -ESRCH;
+		goto out;
+	}
+
 	if ((file->f_mode & FMODE_READ) && (file->f_mode & FMODE_PREAD)) {
 		maxprot |= PROT_READ;
 	}