Rev 427 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
}
void INT_TIMERB(void)
{
TBCON = TBCON;
scheduler_switch(-1);
scheduler_switch(NULL);