[src/trunk]: src/sys/arch/evbarm/fdt Make sure we pass full pages to fdt_memo...

[jmcneill <jmcneill%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/3694fc7867fa
branches:  trunk
changeset: 935220:3694fc7867fa
user:      jmcneill <jmcneill%NetBSD.org@localhost>
date:      Sat Jun 27 18:44:02 2020 +0000

description:
Make sure we pass full pages to fdt_memory_remove_range

diffstat:

 sys/arch/evbarm/fdt/fdt_machdep.c |  20 ++++++++++++--------
 1 files changed, 12 insertions(+), 8 deletions(-)

diffs (46 lines):

diff -r 5b82aad1f8fc -r 3694fc7867fa sys/arch/evbarm/fdt/fdt_machdep.c
--- a/sys/arch/evbarm/fdt/fdt_machdep.c Sat Jun 27 18:03:52 2020 +0000
+++ b/sys/arch/evbarm/fdt/fdt_machdep.c Sat Jun 27 18:44:02 2020 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: fdt_machdep.c,v 1.72 2020/05/15 06:01:26 skrll Exp $ */
+/* $NetBSD: fdt_machdep.c,v 1.73 2020/06/27 18:44:02 jmcneill Exp $ */
 
 /*-
  * Copyright (c) 2015-2017 Jared McNeill <jmcneill%invisible.ca@localhost>
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: fdt_machdep.c,v 1.72 2020/05/15 06:01:26 skrll Exp $");
+__KERNEL_RCSID(0, "$NetBSD: fdt_machdep.c,v 1.73 2020/06/27 18:44:02 jmcneill Exp $");
 
 #include "opt_machdep.h"
 #include "opt_bootconfig.h"
@@ -307,17 +307,21 @@
 
        fdt_add_reserved_memory(mem_start, mem_end);
 
-       const uint64_t initrd_size = initrd_end - initrd_start;
+       const uint64_t initrd_size =
+           round_page(initrd_end) - trunc_page(initrd_start);
        if (initrd_size > 0)
-               fdt_memory_remove_range(initrd_start, initrd_size);
+               fdt_memory_remove_range(trunc_page(initrd_start), initrd_size);
 
-       const uint64_t rndseed_size = rndseed_end - rndseed_start;
+       const uint64_t rndseed_size =
+           round_page(rndseed_end) - trunc_page(rndseed_start);
        if (rndseed_size > 0)
-               fdt_memory_remove_range(rndseed_start, rndseed_size);
+               fdt_memory_remove_range(trunc_page(rndseed_start),
+                   rndseed_size);
 
-       const uint64_t efirng_size = efirng_end - efirng_start;
+       const uint64_t efirng_size =
+           round_page(efirng_end) - trunc_page(efirng_start);
        if (efirng_size > 0)
-               fdt_memory_remove_range(efirng_start, efirng_size);
+               fdt_memory_remove_range(trunc_page(efirng_start), efirng_size);
 
        const int framebuffer = OF_finddevice("/chosen/framebuffer");
        if (framebuffer >= 0) {