K 10 svn:author V 3 alc K 8 svn:date V 27 2012-03-12T00:47:13.996114Z K 7 svn:log V 177 Simplify the error checking in one branch of trap_pfault() and update the nearby comment. Add missing whitespace to a return statement in trap_pfault(). Submitted by: kib [2] END