acpidev_dr_max_cpu_units_per_cmp
cmp = (arg.cpu_id + acpidev_dr_max_cpu_units_per_cmp() - 1);
cmp /= acpidev_dr_max_cpu_units_per_cmp();
return (acpidev_dr_max_cpu_units_per_cmp());
extern uint32_t acpidev_dr_max_cpu_units_per_cmp(void);