DR_DBG_CPU
DR_DBG_CPU("unable to initialize MD\n");
DR_DBG_CPU("dr_cpu_configure...\n");
DR_DBG_CPU("failed to probe CPU %d (%d)\n", cpuid, rv);
DR_DBG_CPU("failed to configure CPU %d (%d)\n",
DR_DBG_CPU("CPU %d configured\n", cpuid);
DR_DBG_CPU("failed to power on CPU %d (%d)\n",
DR_DBG_CPU("CPU %d powered on\n", cpuid);
DR_DBG_CPU("failed to online CPU %d (%d)\n",
DR_DBG_CPU("CPU %d online\n", cpuid);
DR_DBG_CPU("dr_cpu_unconfigure%s...\n", (force) ? " (force)" : "");
DR_DBG_CPU("failed to offline CPU %d (%d)\n",
DR_DBG_CPU("CPU %d offline\n", cpuid);
DR_DBG_CPU("failed to power off CPU %d (%d)\n",
DR_DBG_CPU("CPU %d powered off\n", cpuid);
DR_DBG_CPU("failed to unconfigure CPU %d (%d)\n", cpuid, rv);
DR_DBG_CPU("CPU %d unconfigured\n", cpuid);
DR_DBG_CPU("failed to deprobe CPU %d (%d)\n", cpuid, rv);
DR_DBG_CPU("dr_cpu_status...\n");
DR_DBG_CPU("new_cpu_node...\n");
DR_DBG_CPU("new_cpu_node: failed to create 'name' property\n");
DR_DBG_CPU("new_cpu_node: failed to read 'compatible' property "
DR_DBG_CPU("'compatible' len is %d\n", len);
DR_DBG_CPU("adding '%s' to 'compatible' property\n", curr);
DR_DBG_CPU("exceeded str_arr len (%d)\n", STR_ARR_LEN);
DR_DBG_CPU("new_cpu_node: failed to create 'compatible' "
DR_DBG_CPU("new_cpu_node: failed to create 'device_type' "
DR_DBG_CPU("new_cpu_node: failed to read 'clock-frequency' "
DR_DBG_CPU("new_cpu_node: failed to create 'clock-frequency' "
DR_DBG_CPU("new_cpu_node: failed to read 'id' property "
DR_DBG_CPU("new cpuid=0x%lx\n", cpuid);
DR_DBG_CPU("new_cpu_node: failed to create 'reg' property\n");
DR_DBG_CPU("unable to initialize machine description\n");
DR_DBG_CPU("e_ddi_branch_create failed: %d\n", rv);
DR_DBG_CPU("CPU %d probed\n", cpuid);
DR_DBG_CPU("cpuid %d already deprobed\n", cpuid);
DR_DBG_CPU("CPU %d deprobed\n", cpuid);
DR_DBG_CPU("found cpuid=0x%x, looking for 0x%x\n", cpuid, sarg->cpuid);
DR_DBG_CPU("matching node\n");
DR_DBG_CPU("dr_cpu_find_node...\n");
DR_DBG_CPU("Scan for CPUs failed\n");
DR_DBG_CPU("dr_cpu_find_node_md: found %d CPUs in the MD\n", nnodes);
DR_DBG_CPU("Missing 'id' property for CPU node %d\n",
DR_DBG_CPU("dr_cpu_find_node_md: found CPU %d "
DR_DBG_CPU("CPU %d not in MD\n", cpuid);
DR_DBG_CPU("reg_handler: arg=0x%p, ver=%d.%d, hdl=0x%lx\n", arg,
DR_DBG_CPU("unreg_handler: arg=0x%p\n", arg);
DR_DBG_CPU("incoming message short: expected at least %ld "
DR_DBG_CPU("empty message: expected at least %ld bytes\n",
DR_DBG_CPU("incoming request:\n");
DR_DBG_CPU("CPU list too long: %d when %d is the maximum\n",
DR_DBG_CPU("No CPU specified for operation\n");
DR_DBG_CPU("%s%s failed (%d)\n",
DR_DBG_CPU("CPU status failed (%d)\n", rv);
DR_DBG_CPU("outgoing response:\n");
DR_DBG_CPU("ds_send failed\n");
DR_DBG_CPU("%s: drctl_config_init "
DR_DBG_CPU("%s: cpuid %d status %d result %d off '%s'\n",
DR_DBG_CPU("%s: drctl_config_fini "
DR_DBG_CPU("dr_cpu_check_cpus...\n");
DR_DBG_CPU("cpu %d: %s\n", cpuids[cpu_idx], err_str);
DR_DBG_CPU("cpu %d: %s\n", cp->cpu_id, err_str);
DR_DBG_CPU("exceeded str_arr len (%d)\n", STR_ARR_LEN);