sync up to hp300/include/pmap.h 7.11