#include "global.h"

OSTime osGetTime(void) {
    u32 count;
    u32 base;
    OSTime t;
    register u32 prevInt = __osDisableInt();

    count = osGetCount();
    base = count - __osBaseCounter;
    t = __osCurrentTime;
    __osRestoreInt(prevInt);

    return base + t;
}