f424d5f084
but isn't valid. Reimplement pmap_remove() to be much more efficient at removing large stretches of addresses. As part of reimplementing pmap_remove() fix pmap_protect() so that it stands a hope of working.