K 10 svn:author V 3 alc K 8 svn:date V 27 2012-03-12T05:28:02.744334Z K 7 svn:log V 197 Simplify the error checking in one branch of trap_pfault() and update the nearby comment. Correct the style of two return statements in trap_pfault(). Merge a comment from amd64's trap_pfault(). END