Made pmap.c more consistent with demand paging