--- sos_04/lib/device/dev.c	2003-08-08 11:01:21.000000000 +1000
+++ sos_cvs/lib/device/dev.c	2003-09-10 21:41:01.000000000 +1000
@@ -69,7 +69,7 @@
 int
 get_pinnable_memory(uintptr_t size, mem_handle_t *handle)
 {
-	assert(size < PAGESIZE); /* We place this restriction to keep
+	assert(size <= PAGESIZE); /* We place this restriction to keep
 				    things simple */
 	*handle = frame_alloc();
 	return 0;
}

dma_addr_t