acd7df97cc
- For i386, simply jump to resumectx() with PCB in %ecx. - Fix a style(9) nit while I am here.
- For i386, simply jump to resumectx() with PCB in %ecx. - Fix a style(9) nit while I am here.