#include <ultra64.h>
#ifdef BBPLAYER
void
__osSetCount(u32 v) {
    v = (v*192ULL)/125ULL;
        __asm__ (
        "mtc0\t%0,$9\n\t"
        : : "r" (v));
}
#endif