HelenOS sources

icpic_dev_gone     47 uspace/drv/intctl/icp-ic/main.c static errno_t icpic_dev_gone(ddf_dev_t *dev);
icpic_dev_gone     54 uspace/drv/intctl/icp-ic/main.c 	.dev_gone = icpic_dev_gone,
HelenOS homepage, sources at GitHub