36 void WXCi_InitScheduler(WXCScheduler * p)  in WXCi_InitScheduler()  argument
48     p->seq = (int)((OS_GetTick() >> 0) % WXC_SCHEDULER_SEQ_MAX);  in WXCi_InitScheduler()
49     p->pattern = (int)((OS_GetTick() >> 2) % WXC_SCHEDULER_PATTERN_MAX);  in WXCi_InitScheduler()
50     p->start = 0;  in WXCi_InitScheduler()
51     p->child_mode = FALSE;  in WXCi_InitScheduler()
52     MI_CpuCopy32(default_table, p->table, sizeof(default_table));  in WXCi_InitScheduler()
65 void WXCi_SetChildMode(WXCScheduler * p, BOOL enable)  in WXCi_SetChildMode()  argument
67     p->child_mode = enable;  in WXCi_SetChildMode()
79 BOOL WXCi_UpdateScheduler(WXCScheduler * p)  in WXCi_UpdateScheduler()  argument
81     if (++p->seq >= WXC_SCHEDULER_SEQ_MAX)  in WXCi_UpdateScheduler()
83         p->seq = 0;  in WXCi_UpdateScheduler()
84         if (++p->pattern >= WXC_SCHEDULER_PATTERN_MAX)  in WXCi_UpdateScheduler()
86             p->pattern = 0;  in WXCi_UpdateScheduler()
88         if (p->pattern == p->start)  in WXCi_UpdateScheduler()
91             p->start = (int)(OS_GetTick() % WXC_SCHEDULER_PATTERN_MAX);  in WXCi_UpdateScheduler()
92             p->pattern = p->start;  in WXCi_UpdateScheduler()
95     return p->table[p->pattern][p->seq] && !p->child_mode;  in WXCi_UpdateScheduler()