ON_BOARD_CORE_NUM
onb_core_num = ON_BOARD_CORE_NUM(cpuid);
onb_core_num = ON_BOARD_CORE_NUM(cpuid);
onb_core_num = ON_BOARD_CORE_NUM(i);
if (ON_BOARD_CORE_NUM(cpuid) != core_id)
core_id = ON_BOARD_CORE_NUM(cpuid);