#include "ultra64.h"

void osStopThread(OSThread* thread) {
    register u32 prevInt = __osDisableInt();
    register u16 state = (thread == NULL) ? OS_STATE_RUNNING : thread->state;

    switch (state) {
        case OS_STATE_RUNNING:
            __osRunningThread->state = OS_STATE_STOPPED;
            __osEnqueueAndYield(NULL);
            break;
        case OS_STATE_RUNNABLE:
        case OS_STATE_WAITING:
            thread->state = OS_STATE_STOPPED;
            __osDequeueThread(thread->queue, thread);
            break;
    }

    __osRestoreInt(prevInt);
}