ctrl_warn
ctrl_warn(ctrl, "Slot already registered by another hotplug driver\n");
ctrl_warn(ctrl, "Not a valid state\n");