On Wed, 31 Oct 2018, Taylor R Campbell wrote:
For the moment, as a provisional workaround to make progress, you can probably get by with `pa << PGSHIFT', where pa is the physical (byte)
I think this should be `pa >> PGSHIFT`, or even better use `atop(pa)`.