x86: Update the check for BRK_END
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 27 Sep 2017 18:42:47 +0000 (14:42 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 29 Sep 2017 14:00:03 +0000 (10:00 -0400)
This was printing out warnings since the change to BRK_END.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/pmap64.c

index 1e2c1e4..69a653f 100644 (file)
@@ -423,7 +423,7 @@ int get_va_perms(pgdir_t pgdir, const void *va)
 #define check_sym_va(sym, addr)                                                \
 ({                                                                             \
        if ((sym) != (addr))                                                       \
-               printk("Error: " #sym " is %p, should be " #addr "\n", sym);           \
+               panic("Error: " #sym " is %p, should be " #addr, sym);                 \
 })
 
 static void check_syms_va(void)
@@ -444,7 +444,7 @@ static void check_syms_va(void)
        check_sym_va(UGDATA,         0x00007f7fff9ff000);
        check_sym_va(UMAPTOP,        0x00007f7fff9ff000);
        check_sym_va(USTACKTOP,      0x00007f7fff9ff000);
-       check_sym_va(BRK_END,        0x0000400000000000);
+       check_sym_va(BRK_END,        0x0000300000000000);
 }
 
 /* Initializes anything related to virtual memory.  Paging is already on, but we