| tag | line | file | source code |
|---|---|---|---|
| TIME_REQUESTS | 307 | kernel/sched.c | } timer_list[TIME_REQUESTS] = { { 0, NULL, NULL }, }; |
| TIME_REQUESTS | 321 | kernel/sched.c | for (p = timer_list ; p < timer_list + TIME_REQUESTS ; p++) |
| TIME_REQUESTS | 324 | kernel/sched.c | if (p >= timer_list + TIME_REQUESTS) |