kernel/eka/nkern/sched.cpp
branchRCL_3
changeset 43 c1f20ce4abcf
parent 0 a41df078684a
child 44 3e88ff8f41d5
equal deleted inserted replaced
42:a179b74831c9 43:c1f20ce4abcf
    67 
    67 
    68 #ifndef __SCHEDULER_MACHINE_CODED__
    68 #ifndef __SCHEDULER_MACHINE_CODED__
    69 void TScheduler::Remove(NThreadBase* aThread)
    69 void TScheduler::Remove(NThreadBase* aThread)
    70 	{
    70 	{
    71 	__NK_ASSERT_DEBUG(!aThread->iHeldFastMutex);	// can't block while holding fast mutex
    71 	__NK_ASSERT_DEBUG(!aThread->iHeldFastMutex);	// can't block while holding fast mutex
       
    72 	iMadeUnReadyCounter++;
    72 	aThread->iTime=aThread->iTimeslice;		// thread has blocked so it gets a fresh timeslice for next time
    73 	aThread->iTime=aThread->iTimeslice;		// thread has blocked so it gets a fresh timeslice for next time
    73 	TPriListBase::Remove(aThread);
    74 	TPriListBase::Remove(aThread);
    74 	}
    75 	}
    75 #endif
    76 #endif
    76 
    77