dr_cpu_status
if ((nstat = dr_cpu_status(hp, devset, devstatp)) > 0) {
cix = dr_cpu_status(hp, devset, ds);
extern int dr_cpu_status(dr_handle_t *hp, dr_devset_t devset,
if ((nstat = dr_cpu_status(hp, devset, devstatp)) > 0) {
cix = dr_cpu_status(hp, devset, ds);
extern int dr_cpu_status(dr_handle_t *hp, dr_devset_t devset,
static int dr_cpu_status(processorid_t, int *status);
result = dr_cpu_status(cpuids[idx], &status);