K 10 svn:author V 8 jmallett K 8 svn:date V 27 2010-04-02T05:49:14.426574Z K 7 svn:log V 71 o) Adjust format for PTEs. o) Fix O32 build of trap.c with TRAP_DEBUG. END