OPL_MAX_COREID_PER_BOARD
for (i = 0; i < OPL_MAX_COREID_PER_BOARD; i++) {
drmach_cmp_t cores[OPL_MAX_COREID_PER_BOARD];
(OPL_MAX_COREID_PER_BOARD - 1))
for (i = 0; i < OPL_MAX_COREID_PER_BOARD; i++) {
for (i = 0; i < OPL_MAX_COREID_PER_BOARD; i++) {
return (pb * OPL_MAX_COREID_PER_BOARD) + (CHIP_ID(cpuid) *