devctl_ddef_int
if (devctl_ddef_int(ddef_hdl, "auto-assign-instance", 1) == -1) {
if (devctl_ddef_int(ddef_hdl, "ddi-no-autodetach", 1) == -1) {
devctl_ddef_int(devctl_ddef_t, char *, int32_t);