devctl_ddef_alloc
ddef_hdl = devctl_ddef_alloc(dev_name, 0);
ddef_handle = devctl_ddef_alloc("dummy", 0);
ddef_hdl = devctl_ddef_alloc(nd_name, 0);
ddef_hdl = devctl_ddef_alloc(devices[ps_instance][i].name, 0);
ddef_hdl = devctl_ddef_alloc("power-supply", 0);
ddef_hdl = devctl_ddef_alloc(PS_DEVICE_NAME, 0);
if ((ddef_hdl = devctl_ddef_alloc("zcons", 0)) == NULL) {
if ((ddef_hdl = devctl_ddef_alloc(drvr_name, 0)) == NULL) {
devctl_ddef_alloc(char *, int);