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

[lacombar%gmail.com@localhost]

>Number:         43217
>Category:       kern
>Synopsis:       KASSERT(ci->ci_ilevel < IPL_HIGH) failed when running a linux 
>binary
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Apr 28 03:50:00 +0000 2010
>Originator:     Arnaud Lacombe
>Release:        
>Organization:
n/a
>Environment:
2-way CPU, current 5.99.25 + DIAGNOSTIC + DEBUG
>Description:
On a -current kernel from CVS of April 2nd, my machine is crashing on
following assertion:

KASSERT(ci->ci_ilevel < IPL_HIGH) in arch/x86/x86/pmap.c

backtrace is:

netbsd_elf_signature() ->
 printf ->
  strlen() ->
   trap(): trap number 6 ->
    uvm_fault_internal() ->
     pmap_map_ptes() ...

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,
    886             np->n_type,
    887             np->n_namesz, ELF_NOTE_PAX_NAMESZ,
    888             np->n_descsz, ELF_NOTE_PAX_DESCSZ,
    889             ELF_NOTE_PAX_NAMESZ,
    890             ELF_NOTE_PAX_NAMESZ,
    891             ndata,
    892             ELF_NOTE_PAX_NAMESZ,
    893             ELF_NOTE_PAX_NAMESZ,
    894             ELF_NOTE_PAX_NAME);
    895 #endif

Normal execution should display:

/path/to/bin/gcc: bad tag 1: [14 4, 16 4, GNU PaX]

Full discussion at 
http://mail-index.netbsd.org/current-users/2010/04/17/msg013120.html.
>How-To-Repeat:
Case 1:
 0. reboot
 1. login
 2. grep -r iamarandomstring /large/directory
 3. while true; do /path/to/linux/binary; done

running (2) alone is fine. running (3) alone is fine. running (3) + pure CPU 
load is fine.

Case 2:
 0. Day-to-day desktop usage
 1. /path/to/linux/binary
>Fix: