dmctl_get_device_info
dmctl_get_device_info },
static int dmctl_get_device_info(int, char *[], libdm_task_t);