HelenOS sources

wait_for_interfaces_death  240 uspace/app/vuhid/main.c 	wait_for_interfaces_death(&hid_dev);
wait_for_interfaces_death  117 uspace/app/vuhid/virthid.h void wait_for_interfaces_death(usbvirt_device_t *);
HelenOS homepage, sources at GitHub