K 10 svn:author V 7 davidxu K 8 svn:date V 27 2003-04-24T01:48:59.000000Z K 7 svn:log V 173 Don't print anything for fault at cpu_switch_load_gs, just like other code to recover fault in doreti because of invalid segment registers, silently push error to userland. END