/*
* Call the dispatcher
*/
- PsDispatchThread(THREAD_STATE_RUNNABLE);
+ // TODO FIXME - What happened to definition for PsDispatchThread ???
+ //PsDispatchThread(THREAD_STATE_READY);
+
+ // KeGetCurrentThread is linked into hal from ntoskrnl, so can
+ // PsDispatchThread be exported from ntoskrnl also ???
+
#if 0
/*