Re: panic: uvm_unmap_remove: has mapping

[der Mouse <mouse%Rodents.Montreal.QC.CA@localhost>]

> Ok, I think I found it.  To quote the VARM, "the P0LR contains the
> size of the P0PT in longwords, that is, the number of page table
> entries."  IIRC this means that first entry is at offset 0, and the
> last entry in the table is at offset P0LR-1.

That matches my own recollection from when I was hacking code at that
level on the VAX.

>       sva = PG_PFNUM(va);
>       if (va < 0x40000000) {
>               if (sva > (pmap->pm_p0lr & ~AST_MASK))

> I think the 3rd line should be changed to:

>               if (sva >= (pmap->pm_p0lr & ~AST_MASK))

For what it's worth, I think you're right.  (The code just below, for
P1 space, appears to be right.)

/~\ The ASCII                           der Mouse
\ / Ribbon Campaign
 X  Against HTML               mouse%rodents.montreal.qc.ca@localhost
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B