Symbol: tmigr_cpu_activate
kernel/time/timer_migration.c
730
void tmigr_cpu_activate(void)
kernel/time/timer_migration.h
143
static inline void tmigr_cpu_activate(void) { }