K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2007-08-07T18:20:55.000000Z
K 7
svn:log
V 118
Use the third argument of cpu_switch(), as done for i386/amd63, as it is
required for ULE.

Approved by:	re (blanket)

END