Symbol: BASE_DEF
kernel/time/timer.c
2406
run_timer_base(BASE_DEF);
kernel/time/timer.c
2457
(i == BASE_DEF && tmigr_requires_handle_remote())) {
kernel/time/timer.c
923
index = BASE_DEF;
kernel/time/timer.c
937
index = BASE_DEF;