Re: kern/43217: KASSERT(ci->ci_ilevel < IPL_HIGH) failed when running a linux binary

[David Holland <dholland-bugs%netbsd.org@localhost>]

The following reply was made to PR kern/43217; it has been noted by GNATS.

From: David Holland <dholland-bugs%netbsd.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: kern/43217: KASSERT(ci->ci_ilevel < IPL_HIGH) failed when
        running a linux binary
Date: Wed, 28 Apr 2010 22:20:20 +0000

 On Wed, Apr 28, 2010 at 03:50:00AM +0000, lacombar%gmail.com@localhost wrote:
  > The Following printf() is triggering the bug:
  >     882 #ifdef DIAGNOSTIC
  >     883     printf("%s: bad tag %d: "
  >     884         "[%d %d, %d %d, %*.*s %*.*s]\n",
  >     885         epp->ep_name,
 
 ep_name points to userspace and should not be printed like this.
 
 (It's not clear to me why we hang onto the userspace pointer instead
 of the kernel copy that exec makes. One of the patches I'm sitting on
 because I haven't had time to test it properly tidies this up as a
 side effect of some other reorg.)
 
 -- 
 David A. Holland
 dholland%netbsd.org@localhost