4f9ffa42b0
is now part of pmap_mapdev() and doesn't need to be duplicated here. Likewise for unmapping.
is now part of pmap_mapdev() and doesn't need to be duplicated here. Likewise for unmapping.