devctl_pm_device_promprintf
{"dev-promprintf", devctl_pm_device_promprintf},
devctl_pm_device_promprintf(devctl_hdl_t hdl);