Symbol: tmigr_init_root
kernel/time/timer_migration.c
1724
if (tmigr_init_root(parent, activate)) {
kernel/time/timer_migration.c
1830
tmigr_init_root(group, activate);