TOTAL_SLOTS_PER_CPU
(ROUNDUP(SMP_MAX_CPUS * TOTAL_SLOTS_PER_CPU + EXTRA_SLOTS, 1024) / 1024)
int32 requiredSlots = smp_get_num_cpus() * TOTAL_SLOTS_PER_CPU
(ROUNDUP(SMP_MAX_CPUS * TOTAL_SLOTS_PER_CPU + EXTRA_SLOTS, 1024) / 1024)
int32 requiredSlots = smp_get_num_cpus() * TOTAL_SLOTS_PER_CPU
(ROUNDUP(SMP_MAX_CPUS * TOTAL_SLOTS_PER_CPU + EXTRA_SLOTS, \
int32 requiredSlots = smp_get_num_cpus() * TOTAL_SLOTS_PER_CPU