--- /sys/src/9k/k10/asm.c
+++ /sys/src/9k/k10/asm.c
@@ -434,5 +434,5 @@ asmmeminit(void)
 	/* allocate the Page array from a high memory bank or, failing that, malloc */
 	pgmem = pagesarraysize(asmlist, &ksize);
 	mallocinit();
-	allocpages(ksize, pgmem, Mustmalloc);
+	allocpages(ksize, pgmem, Couldmalloc);	/* carve from a high bank if it won't fit low */
 }
--- /sys/src/9k/k10/mem.h
+++ /sys/src/9k/k10/mem.h
@@ -107,7 +107,7 @@
  * page-table page at level 'l' for the virtual address 'v'.
  */
 #define PTLX(v, l)	(((v)>>(((l)*PTSHFT)+PGSHFT)) & ((1<<PTSHFT)-1))
-#define PGLSZ(l)	(1<<(((l)*PTSHFT)+PGSHFT))
+#define PGLSZ(l)	(1ull<<(((l)*PTSHFT)+PGSHFT))
 
 #define TMFM		((256-32)*MiB)			/* GAK kernel memory */