modified:   kern/pmap.c