diff --git a/kernel/arch/i386/memory.c b/kernel/arch/i386/memory.c
index e1307df69..3650e900d 100644
--- a/kernel/arch/i386/memory.c
+++ b/kernel/arch/i386/memory.c
@@ -159,6 +159,8 @@ PRIVATE int lin_lin_copy(const struct proc *srcproc, vir_bytes srclinaddr,
 	if(dstproc) assert(!RTS_ISSET(dstproc, RTS_SLOT_FREE));
 	assert(!RTS_ISSET(get_cpulocal_var(ptproc), RTS_SLOT_FREE));
 	assert(get_cpulocal_var(ptproc)->p_seg.p_cr3_v);
+	if(srcproc) assert(!RTS_ISSET(srcproc, RTS_VMINHIBIT));
+	if(dstproc) assert(!RTS_ISSET(dstproc, RTS_VMINHIBIT));
 
 	while(bytes > 0) {
 		phys_bytes srcptr, dstptr;