sync up to hp300/hp300/pmap.c 7.16