Symbol: tmigr_requires_handle_remote
kernel/time/timer.c
2456
(i == BASE_DEF && tmigr_requires_handle_remote())) {
kernel/time/timer_migration.h
135
extern bool tmigr_requires_handle_remote(void);