Module Name: src
Committed By: riastradh
Date: Wed Aug 14 00:41:31 UTC 2024
Modified Files:
src/sys/uvm: uvm_map.c
Log Message:
uvm_map(9): Assert another loop invariant in entry lookup.
No functional change intended.
PR kern/51254: uvm assertion "!topdown || hint <= orig_hint" failed
To generate a diff of this commit:
cvs rdiff -u -r1.417 -r1.418 src/sys/uvm/uvm_map.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/uvm/uvm_map.c
diff -u src/sys/uvm/uvm_map.c:1.417 src/sys/uvm/uvm_map.c:1.418
--- src/sys/uvm/uvm_map.c:1.417 Tue Aug 13 20:52:52 2024
+++ src/sys/uvm/uvm_map.c Wed Aug 14 00:41:30 2024
@@ -1,4 +1,4 @@
-/* $NetBSD: uvm_map.c,v 1.417 2024/08/13 20:52:52 riastradh Exp $ */
+/* $NetBSD: uvm_map.c,v 1.418 2024/08/14 00:41:30 riastradh Exp $ */
/*
* Copyright (c) 1997 Charles D. Cranor and Washington University.
@@ -66,7 +66,7 @@
*/
#include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: uvm_map.c,v 1.417 2024/08/13 20:52:52 riastradh Exp $");
+__KERNEL_RCSID(0, "$NetBSD: uvm_map.c,v 1.418 2024/08/14 00:41:30 riastradh Exp $");
#include "opt_ddb.h"
#include "opt_pax.h"
@@ -1656,6 +1656,7 @@ uvm_map_lookup_entry_bytree(struct vm_ma
while (cur) {
KASSERT(prev == &map->header || prev->end <= address);
+ KASSERT(prev == &map->header || prev->end <= cur->start);
UVMMAP_EVCNT_INCR(mlk_treeloop);
if (address >= cur->start) {
if (address < cur->end) {
