Index: aarch64/locore.S
===================================================================
RCS file: /cvsroot/src/sys/arch/aarch64/aarch64/locore.S,v
retrieving revision 1.44
diff -p -u -r1.44 locore.S
--- aarch64/locore.S	20 Oct 2019 14:03:51 -0000	1.44
+++ aarch64/locore.S	3 Nov 2019 11:29:47 -0000
@@ -837,6 +837,7 @@ init_mmutable:
 	adr	x1, start			/* pa = start */
 	ADDR	x2, _end
 	sub	x2, x2, x1			/* size = _end - start */
+	add	x2, x2, #BOOTPAGE_ALLOC_MAX	/* for bootpage_alloc() */
 	ldr	x0, =start			/* va */
 	bl	pmapboot_enter
 	cbnz	x0, init_mmutable_error