[src/trunk]: src/sys/compat/netbsd32 use KASSERTMSG() in netbsd32_ptr32i().

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

details:   https://anonhg.NetBSD.org/src/rev/68ba48848a88
branches:  trunk
changeset: 449046:68ba48848a88
user:      mrg <mrg%NetBSD.org@localhost>
date:      Wed Feb 20 06:04:28 2019 +0000

description:
use KASSERTMSG() in netbsd32_ptr32i().

diffstat:

 sys/compat/netbsd32/netbsd32.h |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (20 lines):

diff -r a7a728048847 -r 68ba48848a88 sys/compat/netbsd32/netbsd32.h
--- a/sys/compat/netbsd32/netbsd32.h    Wed Feb 20 05:25:12 2019 +0000
+++ b/sys/compat/netbsd32/netbsd32.h    Wed Feb 20 06:04:28 2019 +0000
@@ -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 @@
 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;
 }