Untitled

void ohio_timer_interrupt(void) {    unsigned int count;	count = read_c0_count();    if(count < nT.last) {        nT.offset += ((unsigned long long)1 << 32);        nT.offset = count;    }    return;}