diff --git a/servers/vm/alloc.c b/servers/vm/alloc.c index 5dbcbaa27..d63524744 100644 --- a/servers/vm/alloc.c +++ b/servers/vm/alloc.c @@ -377,11 +377,6 @@ struct memlist *alloc_mem_in_list(phys_bytes bytes, u32_t flags, phys_bytes know assert(!(flags & PAF_CONTIG)); if(known != MAP_NONE) { - if(known == NO_MEM) { - printf("VM: odd mem for alloc_mem_in_list: 0x%lx\n", - known); - return NULL; - } phys_count = known; }