Symbol: tmigr_get_capacity
kernel/time/timer_migration.c
1488
unsigned int capacity = tmigr_get_capacity(cpu);
kernel/time/timer_migration.c
1983
hier->capacity = tmigr_get_capacity(cpu);