4f3e1bda61
the nearby comment. Correct the style of two return statements in trap_pfault(). Merge a comment from amd64's trap_pfault().