Module Name: src
Committed By: mrg
Date: Wed Feb 20 06:04:28 UTC 2019
Modified Files:
src/sys/compat/netbsd32: netbsd32.h
Log Message:
use KASSERTMSG() in netbsd32_ptr32i().
To generate a diff of this commit:
cvs rdiff -u -r1.122 -r1.123 src/sys/compat/netbsd32/netbsd32.h
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/sys/compat/netbsd32/netbsd32.h
diff -u src/sys/compat/netbsd32/netbsd32.h:1.122 src/sys/compat/netbsd32/netbsd32.h:1.123
--- src/sys/compat/netbsd32/netbsd32.h:1.122 Sat Feb 9 11:30:13 2019
+++ src/sys/compat/netbsd32/netbsd32.h Wed Feb 20 06:04:28 2019
@@ -1,4 +1,4 @@
-/* $NetBSD: netbsd32.h,v 1.122 2019/02/09 11:30:13 mrg Exp $ */
+/* $NetBSD: netbsd32.h,v 1.123 2019/02/20 06:04:28 mrg Exp $ */
/*
* Copyright (c) 1998, 2001, 2008, 2015 Matthew R. Green
@@ -128,7 +128,9 @@ static __inline NETBSD32_POINTER_TYPE
netbsd32_ptr32i(const void *p64)
{
uintptr_t u64 = (uintptr_t)p64;
- KASSERT(u64 == (NETBSD32_POINTER_TYPE)u64);
+ KASSERTMSG(u64 == (NETBSD32_POINTER_TYPE)u64, "u64 %llx != %llx",
+ (unsigned long long)u64,
+ (unsigned long long)(NETBSD32_POINTER_TYPE)u64);
return u64;
}
