e43016c1ed
to perform pmap_update() according to the interface. Might want to revisit. Should fix recently reported tmpfs problems. Thanks to enami@ and hannken@!