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