HelenOS sources

ddf_dev_get_handle  448 uspace/drv/block/virtio-blk/virtio-blk.c 	    ddf_dev_get_name(dev), ddf_dev_get_handle(dev));
ddf_dev_get_handle  725 uspace/drv/bus/isa/isa.c 	    (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  133 uspace/drv/char/i8042/main.c 	    ddf_dev_get_name(device), ddf_dev_get_handle(device));
ddf_dev_get_handle  839 uspace/drv/char/ns8250/ns8250.c 	    ddf_dev_get_name(dev), (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  106 uspace/drv/hid/atkbd/main.c 	    ddf_dev_get_name(device), ddf_dev_get_handle(device));
ddf_dev_get_handle  102 uspace/drv/hid/ps2mouse/main.c 	    ddf_dev_get_name(device), ddf_dev_get_handle(device));
ddf_dev_get_handle  106 uspace/drv/hid/xtkbd/main.c 	    ddf_dev_get_name(device), ddf_dev_get_handle(device));
ddf_dev_get_handle 1264 uspace/drv/nic/rtl8139/driver.c 	    ddf_dev_get_name(dev), ddf_dev_get_handle(dev));
ddf_dev_get_handle  387 uspace/drv/nic/rtl8169/driver.c 	    ddf_dev_get_name(dev), ddf_dev_get_handle(dev));
ddf_dev_get_handle  398 uspace/drv/nic/virtio-net/virtio-net.c 	    ddf_dev_get_name(dev), ddf_dev_get_handle(dev));
ddf_dev_get_handle  300 uspace/drv/platform/icp/icp.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  231 uspace/drv/platform/malta/malta.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  242 uspace/drv/platform/msim/msim.c 	    (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  222 uspace/drv/platform/pc/pc.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  110 uspace/drv/platform/ski/ski.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  245 uspace/drv/platform/sun4u/sun4u.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  204 uspace/drv/platform/sun4v/sun4v.c 	    (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  206 uspace/drv/root/root/root.c 	    ddf_dev_get_handle(dev));
ddf_dev_get_handle  183 uspace/drv/root/virt/virt.c 	ddf_msg(LVL_DEBUG, "dev_add(handle=%d)", (int)ddf_dev_get_handle(dev));
ddf_dev_get_handle  153 uspace/drv/test/test1/test1.c 	    dev_name, (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  211 uspace/drv/test/test2/test2.c 	    dev_name, (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  145 uspace/drv/test/test3/test3.c 	    ddf_dev_get_name(dev), (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle  593 uspace/drv/time/cmos-rtc/cmos-rtc.c 	    ddf_dev_get_name(dev), (int) ddf_dev_get_handle(dev));
ddf_dev_get_handle   53 uspace/lib/drv/generic/remote_usb.c 	return devman_parent_device_connect(ddf_dev_get_handle(dev),
ddf_dev_get_handle  116 uspace/lib/drv/include/ddf/driver.h extern devman_handle_t ddf_dev_get_handle(ddf_dev_t *);