CHERRYSTONE_CPUS_PER_BOARD
for (cpu = 0; cpu < CHERRYSTONE_CPUS_PER_BOARD; cpu++) {
slice_table[CHERRYSTONE_SBD_SLOTS][CHERRYSTONE_CPUS_PER_BOARD]
CHERRYSTONE_CPUS_PER_BOARD)