K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2001-10-24T17:38:40.000000Z
K 7
svn:log
V 271
- Clean up the comments slightly here to make them more readable.
- Set the type and trapframe number for the F00F workaround since type
  can be used later by sv_transtrap().  Debuggers might also want to look
  at the type in the trapframe.

Submitted by:	bde (mostly)

END