--- a/serverboot/default_pager.c	2010-05-19 15:47:03.000000000 +0200
+++ b/serverboot/default_pager.c	2010-05-19 15:48:03.000000000 +0200
@@ -3251,7 +3251,8 @@
 	mach_port_t port;
 	kern_return_t result;
 
-	if (pager != default_pager_default_port)
+	if (pager != default_pager_default_port ||
+	    size != vm_page_size)
 		return KERN_INVALID_ARGUMENT;
 
 	ds = pager_port_alloc(size);