K 10
svn:author
V 8
hselasky
K 8
svn:date
V 27
2011-07-13T21:07:50.247814Z
K 7
svn:log
V 385
Fix for dump after shutdown with USB keyboard plugged in. It appears that the
system timer is stopped during shutdown and that the pause() statement in ukbd
causes infinite hang in this regard. The fix is to use mi_switch() instead of
pause() to do the required task switch to ensure that the required USB processes
get executed.

Reported by:	Mike_Karels@mcafee.com
MFC after:	1 week

END