syzbot


assert "pmap->pm_type != PMAP_TYPE_EPT" failed in pmap.c (2)

Status: auto-obsoleted due to no activity on 2024/03/09 03:03
Reported-by: syzbot+fcc8a48ab31dae37924a@syzkaller.appspotmail.com
First crash: 143d, last: 143d
Similar bugs (2)
Kernel Title Repro Cause bisect Fix bisect Count Last Reported Patched Status
openbsd assert "pmap->pm_type != PMAP_TYPE_EPT" failed in pmap.c 1 700d 700d 0/3 auto-obsoleted due to no activity on 2022/08/30 06:16
openbsd assert "pmap->pm_type != PMAP_TYPE_EPT" failed in pmap.c (3) 2 1d19h 11d 0/3 upstream: reported on 2024/04/20 10:28

Sample crash report:
ΝeœΠ#Σ`e@ΫCΪ€0|6¦opanic: kernel diagnostic assertion "pmap->pm_type != PMAP_TYPE_EPT" failed: file "/syzkaller/managers/multicore/kernel/sys/arch/amd64/amd64/pmap.c", line 412
Stopped at      db_enter+0x1c:  addq    $0x8,%rsp
    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND
 150725  38284      0         0x2          0    1  syz-executor.4
*414107  89723      0     0x14000      0x200    0  reaper
db_enter() at db_enter+0x1c sys/arch/amd64/amd64/db_interface.c:437
panic(ffffffff827b03e4) at panic+0x17b sys/kern/subr_prf.c:198
__assert(ffffffff8282b893,ffffffff827cea59,19c,ffffffff8283071f) at __assert+0x29 sys/kern/subr_prf.c:157
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 pmap_map_ptes sys/arch/amd64/amd64/pmap.c:426 [inline]
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 sys/arch/amd64/amd64/pmap.c:1944
uvm_anfree_list(fffffd80691df360,ffff8000211af788) at uvm_anfree_list+0x98
amap_wipeout(fffffd80666cc7f0) at amap_wipeout+0x1c1 sys/uvm/uvm_amap.c:504
uvm_unmap_detach(ffff8000211af850,1) at uvm_unmap_detach+0x7d sys/uvm/uvm_map.c:1366
uvm_map_teardown(fffffd806e3a41e0) at uvm_map_teardown+0x2f5 sys/uvm/uvm_map.c:2585
uvmspace_free(fffffd806e3a41e0) at uvmspace_free+0xa6 sys/uvm/uvm_map.c:3503
reaper(ffff8000211a32a0) at reaper+0x19a sys/kern/kern_exit.c:458
end trace frame: 0x0, count: 5
https://www.openbsd.org/ddb.html describes the minimum info required in bug
reports.  Insufficient info makes it difficult to find and fix bugs.
ddb{0}> 
ddb{0}> set $lines = 0
ddb{0}> set $maxwidth = 0
ddb{0}> show panic
*cpu0: kernel diagnostic assertion "pmap->pm_type != PMAP_TYPE_EPT" failed: file "/syzkaller/managers/multicore/kernel/sys/arch/amd64/amd64/pmap.c", line 412
ddb{0}> trace
db_enter() at db_enter+0x1c sys/arch/amd64/amd64/db_interface.c:437
panic(ffffffff827b03e4) at panic+0x17b sys/kern/subr_prf.c:198
__assert(ffffffff8282b893,ffffffff827cea59,19c,ffffffff8283071f) at __assert+0x29 sys/kern/subr_prf.c:157
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 pmap_map_ptes sys/arch/amd64/amd64/pmap.c:426 [inline]
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 sys/arch/amd64/amd64/pmap.c:1944
uvm_anfree_list(fffffd80691df360,ffff8000211af788) at uvm_anfree_list+0x98
amap_wipeout(fffffd80666cc7f0) at amap_wipeout+0x1c1 sys/uvm/uvm_amap.c:504
uvm_unmap_detach(ffff8000211af850,1) at uvm_unmap_detach+0x7d sys/uvm/uvm_map.c:1366
uvm_map_teardown(fffffd806e3a41e0) at uvm_map_teardown+0x2f5 sys/uvm/uvm_map.c:2585
uvmspace_free(fffffd806e3a41e0) at uvmspace_free+0xa6 sys/uvm/uvm_map.c:3503
reaper(ffff8000211a32a0) at reaper+0x19a sys/kern/kern_exit.c:458
end trace frame: 0x0, count: -10
ddb{0}> show registers
rdi                                0
rsi                              0x1
rbp               0xffff8000211af5d0
rbx               0xffffffff82bd5ba7    cpu_info_full_primary+0x2ba7
rdx                                0
rcx               0xffff8000211a32a0
rax               0xffffffff82bd4ff0    cpu_info_full_primary+0x1ff0
r8                                 0
r9                0x8080808080808080
r10               0x36ce3d0b90da5e76
r11               0xf2c6e1f0bf15b5ee
r12               0xffffffff82bd59a8    cpu_info_full_primary+0x29a8
r13                                0
r14                                0
r15                              0x1
rip               0xffffffff8255b0cc    db_enter+0x1c
cs                               0x8
rflags                         0x246
rsp               0xffff8000211af5c0
ss                                 0
db_enter+0x1c:  addq    $0x8,%rsp
ddb{0}> show proc
PROC (reaper) tid=414107 pid=89723 tcnt=1 stat=onproc
    flags process=14000<NOZOMBIE,SYSTEM> proc=200<SYSTEM>
    runpri=4, usrpri=57, slppri=4, nice=20
    wchan=0x0, wmesg=, ps_single=0x0
    forw=0xffffffffffffffff, list=0xffff8000211a37f0,0xffff8000211a2ab8
    process=0xffff8000fffff240 user=0xffff8000211aa000, vmspace=0xffffffff82c9b3b8
    estcpu=7, cpticks=13, pctcpu=1.2, user=0, sys=1, intr=0
ddb{0}> ps
   PID     TID   PPID    UID  S       FLAGS  WAIT          COMMAND
 44125  156828  38284      0  2           0                syz-executor.4
 78719  345811   9149      0  2           0                syz-executor.2
 78719  405067   9149      0  2   0x4000000                syz-executor.2
 18410   51383  96619      0  2           0                syz-executor.1
 18410  266990  96619      0  2   0x4000000                syz-executor.1
 97591   64126  64533      0  2         0x2                syz-executor.5
 70385  353904  64533      0  2         0x2                syz-executor.6
  9149  368077  64533      0  2       0x482                syz-executor.2
 96619  381996  64533      0  2       0x482                syz-executor.1
 20950   15531      0      0  3     0x14200  acct          acct
 94750  362295      1      0  3    0x100083  ttyin         getty
 47240  342515  64533      0  2         0x2                syz-executor.0
 68373  245048      0      0  3     0x14200  bored         sosplice
 38284  150725  64533      0  7         0x2                syz-executor.4
 98500   66933  64533      0  2         0x2                syz-executor.3
 64533  358903  19403      0  3   0x2000082  thrsleep      syz-fuzzer
 64533  505679  19403      0  2   0x6000482                syz-fuzzer
 64533   94905  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  469505  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  475573  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  399771  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  517488  19403      0  3   0x6000082  thrsleep      syz-fuzzer
 64533    8658  19403      0  2   0x6000002                syz-fuzzer
 64533  514342  19403      0  3   0x6000082  thrsleep      syz-fuzzer
 64533  269262  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  435735  19403      0  3   0x6000082  thrsleep      syz-fuzzer
 64533  214033  19403      0  2   0x6000002                syz-fuzzer
 64533   18041  19403      0  3   0x6000082  thrsleep      syz-fuzzer
 64533  150280  19403      0  3   0x6000082  wait          syz-fuzzer
 64533   33759  19403      0  3   0x6000082  wait          syz-fuzzer
 64533  416617  19403      0  3   0x6000082  wait          syz-fuzzer
 19403  175477  39428      0  3    0x10008a  sigsusp       ksh
 39428   86721  90252      0  3        0x9a  kqread        sshd
 90252  164305      1      0  3        0x88  kqread        sshd
 25258   78352  63158     74  3   0x1100092  bpf           pflogd
 63158  150187      1      0  3        0x80  netio         pflogd
 62400  358659  23145     73  3   0x1100090  kqread        syslogd
 23145    9088      1      0  3    0x100082  netio         syslogd
 23979   78252      1      0  3    0x100080  kqread        resolvd
  7024  278970  64068     77  3    0x100092  kqread        dhcpleased
 59712  136465  64068     77  3    0x100092  kqread        dhcpleased
 64068  450642      1      0  3        0x80  kqread        dhcpleased
 11401  294578      0      0  3     0x14200  bored         smr
 28955  480002      0      0  2     0x14200                zerothread
  5775  266389      0      0  3     0x14200  aiodoned      aiodoned
 27914  382493      0      0  3     0x14200  syncer        update
 45348  315238      0      0  3     0x14200  cleaner       cleaner
*89723  414107      0      0  7     0x14200                reaper
 60135   53072      0      0  3     0x14200  pgdaemon      pagedaemon
 77656  506104      0      0  3     0x14200  bored         viomb
 14208  334035      0      0  3  0x40014200  acpi0         acpi0
 83453  441167      0      0  3  0x40014200                idle1
 32697  163902      0      0  3     0x14200  bored         softnet3
 67461  242995      0      0  3     0x14200  bored         softnet2
 48374   80647      0      0  3     0x14200  bored         softnet1
  5423   49810      0      0  3     0x14200  bored         softnet0
  7287  371191      0      0  3     0x14200  bored         systqmp
  7834  359683      0      0  3     0x14200  bored         systq
 61258  323667      0      0  3     0x14200  tmoslp        softclockmp
 96983  385034      0      0  2  0x40014200                softclock
 48558   63471      0      0  3  0x40014200                idle0
     1   64561      0      0  3        0x82  wait          init
     0       0     -1      0  3     0x10200  scheduler     swapper
ddb{0}> show all locks
Process 89723 (reaper) thread 0xffff8000211a32a0 (414107)
ddb{0}> show malloc
           Type InUse  MemUse  HighUse   Limit  Requests Type Lim
         devbuf 10227   6488K    7370K  78643K     34572        0
            pcb    13     16K      18K  78643K       740        0
         rtable   223      6K       7K  78643K      1158        0
             pf    33      9K      10K  78643K       186        0
         ifaddr    42     15K      17K  78643K       147        0
        ifgroup    56      2K       2K  78643K       300        0
         sysctl     4      1K       1K  78643K         6        0
       counters    60     35K      36K  78643K       194        0
       ioctlops     0      0K       4K  78643K      6568        0
            iov     0      0K      32K  78643K       990        0
          mount     1      1K       1K  78643K         1        0
            log     0      0K       0K  78643K         4        0
         vnodes  1507     94K      94K  78643K      9018        0
      UFS quota     1     32K      32K  78643K         1        0
      UFS mount     5     36K      36K  78643K         5        0
            shm     2      1K       9K  78643K        76        0
         VM map     2      1K       1K  78643K         2        0
            sem    12      0K       0K  78643K      2393        0
        dirhash    12      2K       2K  78643K        42        0
           ACPI  1697    195K     286K  78643K     12548        0
      file desc    12     41K      89K  78643K      9062        0
          sigio     0      0K       0K  78643K       279        0
           proc    70     91K     127K  78643K      1213        0
        subproc    91      5K       6K  78643K       262        0
    NFS srvsock     1      0K       0K  78643K         1        0
     NFS daemon     1     16K      16K  78643K         1        0
    ip_moptions     0      0K       0K  78643K       575        0
       in_multi    88      6K       7K  78643K       309        0
    ether_multi     1      0K       0K  78643K        16        0
            mrt     2      0K       0K  78643K        10        0
    ISOFS mount     1     32K      32K  78643K         1        0
  MSDOSFS mount     1     16K      16K  78643K         1        0
           ttys   235   1049K    1049K  78643K       235        0
           exec     0      0K       1K  78643K      1793        0
     pfkey data     0      0K       0K  78643K        39        0
            tdb     3      0K       0K  78643K         3        0
        pagedep     1      8K       8K  78643K         1        0
       inodedep     1     32K      32K  78643K         1        0
         newblk     1      0K       0K  78643K         1        0
        VM swap     8     62K      64K  78643K        10        0
       UVM amap   472    387K     411K  78643K     92139        0
       UVM aobj   131      4K       4K  78643K       131        0
        memdesc     1      4K       4K  78643K         1        0
    crypto data     1      1K       1K  78643K         1        0
    ip6_options     0      0K       0K  78643K       312        0
            NDP    12      0K       1K  78643K       113        0
           temp    74   5924K    6052K  78643K     85139        0
         kqueue    12     18K      28K  78643K      1042        0
      SYN cache     2     16K      16K  78643K         2        0
ddb{0}> show all pools
Name      Size Requests Fail Releases Pgreq Pgrel Npage Hiwat Minpg Maxpg Idle
plcache    128       22    0        0     1     0     1     1     0     8    0
rtpcb      120      790    0      787    15    13     2     5     0     8    1
rtentry    112      302    0      199     4     0     4     4     0     8    0
unpcb      144     9336    0     9321    79    73     6    10     0     8    5
syncache   312      100    0      100    17    16     1     1     0     8    1
tcpqe       32      223    0      223    14    14     0     1     0     8    0
tcpcb      808     2169    0     2153    66    57     9    12     0     8    4
arp        120       39    0       22     1     0     1     1     0     8    0
inpcb      368     6821    0     6798   118   109     9    15     0     8    4
nd6        136       63    0       39     1     0     1     1     0     8    0
pkpcb       40       32    0       32     8     8     0     1     0     8    0
kcovpl      48       17    0       10     1     0     1     1     0     8    0
ppxss      1256      16    0       16     4     4     0     1     0     8    0
pffrag     232       40    0       36     1     0     1     1     0   482    0
pffrnode    88       36    0       32     1     0     1     1     0     8    0
pffrent     40      240    0      236     1     0     1     1     0     8    0
pfosfp      40     1428    0     1005     5     0     5     5     0     8    0
pfosfpen   112     1428    0      714    21     0    21    21     0     8    0
pfstitem    24      270    0      243     1     0     1     1     0     8    0
pfstkey    128      270    0      243     2     0     2     2     0     8    0
pfstate    376      270    0      243     6     2     4     5     0     8    0
pfrule     1344      21    0       16     2     1     1     2     0     8    0
art_heap8  4096       1    0        0     1     0     1     1     0     8    0
art_heap4  256      915    0      491    30     0    30    30     0     8    0
art_table   32      916    0      491     4     0     4     4     0     8    0
art_node    16      224    0      130     1     0     1     1     0     8    0
sysvmsgpl   40        4    0        4     1     1     0     1     0     8    0
semapl     112     2391    0     2381     1     0     1     1     0     8    0
shmpl      112      128    0        0     4     0     4     4     0     8    0
dirhash    1024      37    0       20     3     0     3     3     0     8    0
dino2pl    256    13784    0    12305    93     0    93    93     0     8    0
ffsino     272    13784    0    12305    99     0    99    99     0     8    0
nchpl      144    25815    0    25269    63    39    24    63     0     8    0
uvmvnodes   80     5926    0        0   121     0   121   121     0     8    0
vnodes     216     5926    0        0   330     0   330   330     0     8    0
namei      1024   92609    0    92609    14    13     1     2     0     8    1
percpumem   16      110    0       67     1     0     1     1     0     8    0
vcpupl     2048     116    0        3    15     0    15    15     0     8    0
vmpool     696      119    0        6    11     0    11    11     0     8    0
kstatmem   264      158    0      134     2     0     2     2     0     8    0
scxspl     216    75053    0    75053    28    27     1     8     1     8    1
plimitpl   152      992    0      976     1     0     1     1     0     8    0
sigapl     424     9401    0     9354     9     1     8     8     0     8    1
futexpl     64    79492    0    79492     4     3     1     1     0     8    1
knotepl    120      819    0        0    18     0    18    18     0     8    0
kqueuepl   216     3170    0     3162    61    56     5     8     0     8    4
pipepl     320     1916    0     1889    64    56     8    13     0     8    5
fdescpl    496     9357    0     9332     5     1     4     5     0     8    0
filepl     152    66737    0    66516   150   133    17    28     0     8    6
lockfpl    104     5588    0     5586    16    14     2     2     0     8    1
lockfspl    48     2325    0     2323     1     0     1     1     0     8    0
sessionpl  144       35    0       18     1     0     1     1     0     8    0
pgrppl      48      233    0      216     1     0     1     1     0     8    0
ucredpl    104     8808    0     8796     1     0     1     1     0     8    0
zombiepl   144     9356    0     9354     6     5     1     1     0     8    0
processpl  1072    9401    0     9354     5     0     5     5     0     8    0
procpl     680    26108    0    26044    11     2     9     9     0     8    0
sosppl     168       86    0       86     6     6     0     1     0     8    0
sockpl     488    17052    0    17015   333   315    18    38     0     8    8
mcl64k     65536     25    0        0     4     1     3     3     0     8    0
mcl16k     16384     16    0        0     2     0     2     2     0     8    0
mcl12k     12288     25    0        0     2     0     2     2     0     8    0
mcl9k      9216      20    0        0     2     0     2     2     0     8    0
mcl8k      8192      17    0        0     3     0     3     3     0     8    0
mcl4k      4096      49    0        0     4     0     4     4     0     8    0
mcl2k2     2112      11    0        0     1     0     1     1     0     8    0
mcl2k      2048     403    0        0    34     6    28    34     0     8    0
mtagpl      96      826    0        0    18     0    18    18     0     8    0
mbufpl     256     1768    0        0    89     0    89    89     0     8    0
bufpl      288    17707    0    11384   452     0   452   452     0     8    0
anonpl      24   956748    0   942033   187    73   114   118     0   186    3
amapchunkpl 152  292564    0   291752    91    45    46    46     0   158    6
amappl16   200    17837    0    17299    87    51    36    41     0     8    7
amappl15   192       18    0       17     1     0     1     1     0     8    0
amappl14   184      190    0      175     2     1     1     2     0     8    0
amappl13   176       20    0       20     4     4     0     1     0     8    0
amappl12   168    10208    0    10176     4     2     2     3     0     8    0
amappl11   160       58    0       43     1     0     1     1     0     8    0
amappl10   152       34    0       25     1     0     1     1     0     8    0
amappl9    144      292    0      289     1     0     1     1     0     8    0
amappl8    136      609    0      474     5     0     5     5     0     8    0
amappl7    128      241    0      213     2     0     2     2     0     8    0
amappl6    120      495    0      478     1     0     1     1     0     8    0
amappl5    112      285    0      274     1     0     1     1     0     8    0
amappl4    104      676    0      644     2     1     1     2     0     8    0
amappl3     96    56999    0    56934     4     1     3     3     0     8    0
amappl2     88    10283    0    10208     3     1     2     3     0     8    0
amappl1     80    41660    0    41121    23    11    12    23     0     8    0
amappl      88    91207    0    90966     8     0     8     8     0    92    0
dma4096    4096       1    0        1     1     1     0     1     0     8    0
dma1024    1024       1    0        0     1     0     1     1     0     8    0
dma256     256        6    0        6     1     1     0     1     0     8    0
dma128     128      253    0      253     1     1     0     1     0     8    0
dma64       64        6    0        6     1     1     0     1     0     8    0
dma32       32        7    0        7     1     1     0     1     0     8    0
dma16       16       18    0       17     1     0     1     1     0     8    0
aobjpl      72      130    0        0     3     0     3     3     0     8    0
uaddrrnd    24     9476    0     9338     1     0     1     1     0     8    0
uaddrbest   32        2    0        0     1     0     1     1     0     8    0
uaddr       24     9476    0     9338     1     0     1     1     0     8    0
vmmpekpl   168    72653    0    72580     4     0     4     4     0     8    0
vmmpepl    168   559700    0   557217   299   172   127   143     0   357    5
vmsppl     464     9475    0     9337    20     2    18    18     0     8    0
rwobjpl     56   143083    0   135337   119     6   113   114     0     8    2
pdppl      4096   18960    0    18787   459   276   183   184     0     8   10
pvpl        32  2585275    0  2565208   519   311   208   328     0   265   21
pmappl     248     9475    0     9337    10     1     9     9     0     8    0
extentpl    40       56    0       38     1     0     1     1     0     8    0
phpool     112     1521    0      486    30     0    30    30     0     8    0
ddb{0}> machine ddbcpu 0
Invalid cpu 0
ddb{0}> trace
db_enter() at db_enter+0x1c sys/arch/amd64/amd64/db_interface.c:437
panic(ffffffff827b03e4) at panic+0x17b sys/kern/subr_prf.c:198
__assert(ffffffff8282b893,ffffffff827cea59,19c,ffffffff8283071f) at __assert+0x29 sys/kern/subr_prf.c:157
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 pmap_map_ptes sys/arch/amd64/amd64/pmap.c:426 [inline]
pmap_page_remove(fffffd80075e0740) at pmap_page_remove+0x5a4 sys/arch/amd64/amd64/pmap.c:1944
uvm_anfree_list(fffffd80691df360,ffff8000211af788) at uvm_anfree_list+0x98
amap_wipeout(fffffd80666cc7f0) at amap_wipeout+0x1c1 sys/uvm/uvm_amap.c:504
uvm_unmap_detach(ffff8000211af850,1) at uvm_unmap_detach+0x7d sys/uvm/uvm_map.c:1366
uvm_map_teardown(fffffd806e3a41e0) at uvm_map_teardown+0x2f5 sys/uvm/uvm_map.c:2585
uvmspace_free(fffffd806e3a41e0) at uvmspace_free+0xa6 sys/uvm/uvm_map.c:3503
reaper(ffff8000211a32a0) at reaper+0x19a sys/kern/kern_exit.c:458
end trace frame: 0x0, count: -10
ddb{0}> machine ddbcpu 1
Stopped at      x86_ipi_db+0x1e:        addq    $0x8,%rsp
x86_ipi_db(ffff800020d48ff0) at x86_ipi_db+0x1e sys/arch/amd64/amd64/db_interface.c:393
x86_ipi_handler() at x86_ipi_handler+0xb7 sys/arch/amd64/amd64/ipi.c:106
Xresume_lapic_ipi() at Xresume_lapic_ipi+0x27
__mp_lock(ffffffff82cd01e0) at __mp_lock+0x122 __mp_lock_spin sys/kern/kern_lock.c:116 [inline]
__mp_lock(ffffffff82cd01e0) at __mp_lock+0x122 sys/kern/kern_lock.c:147
syscall(ffff800026747830) at syscall+0x5cd mi_syscall sys/sys/syscall_mi.h:110 [inline]
syscall(ffff800026747830) at syscall+0x5cd sys/arch/amd64/amd64/trap.c:623
Xsyscall() at Xsyscall+0x128
end of kernel
end trace frame: 0x78ba68516f30, count: 9
ddb{1}> trace
x86_ipi_db(ffff800020d48ff0) at x86_ipi_db+0x1e sys/arch/amd64/amd64/db_interface.c:393
x86_ipi_handler() at x86_ipi_handler+0xb7 sys/arch/amd64/amd64/ipi.c:106
Xresume_lapic_ipi() at Xresume_lapic_ipi+0x27
__mp_lock(ffffffff82cd01e0) at __mp_lock+0x122 __mp_lock_spin sys/kern/kern_lock.c:116 [inline]
__mp_lock(ffffffff82cd01e0) at __mp_lock+0x122 sys/kern/kern_lock.c:147
syscall(ffff800026747830) at syscall+0x5cd mi_syscall sys/sys/syscall_mi.h:110 [inline]
syscall(ffff800026747830) at syscall+0x5cd sys/arch/amd64/amd64/trap.c:623
Xsyscall() at Xsyscall+0x128
end of kernel
end trace frame: 0x78ba68516f30, count: -6

Crashes (1):
Time Kernel Commit Syzkaller Config Log Report Syz repro C repro VM info Assets (help?) Manager Title
2023/12/10 03:02 openbsd 102443c78d43 28b24332 .config console log report [disk image] [bsd.gdb] [kernel image] ci-openbsd-multicore assert "pmap->pm_type != PMAP_TYPE_EPT" failed in pmap.c
* Struck through repros no longer work on HEAD.