pool_cpu_propget
ret = pool_cpu_propget((processorid_t)id, name, nvl);
extern int pool_cpu_propget(processorid_t, char *, nvlist_t *);