pool_cpu_proprm
ret = pool_cpu_proprm((processorid_t)id, name);
extern int pool_cpu_proprm(processorid_t, char *);