get_max_punit_core_id
max_punit_core = get_max_punit_core_id(id);
extern int get_max_punit_core_id(struct isst_id *id);