lgrp_cpus
ncpus0 = (jsize)lgrp_cpus((lgrp_cookie_t)cookie, (lgrp_id_t)id,
ncpus = (jsize)lgrp_cpus((lgrp_cookie_t)cookie, (lgrp_id_t)id,
ncpus = lgrp_cpus(cookie, from, NULL, 0, LGRP_CONTENT_HIERARCHY);
processorid_t *lgrp_cpus;
lgrp_cpus = lgrp_info->info_cpuids;
if (lgrp_cpus[i] == cpus[j])
lgrp_cpus[k - 1] = lgrp_cpus[k];
lgrp_cpus[k - 1] = -1;
int lgrp_cpus(lgrp_cookie_t cookie, lgrp_id_t lgrp,