icpic_gone 57 uspace/drv/intctl/icp-ic/icp-ic.h extern errno_t icpic_gone(icpic_t *); icpic_gone 131 uspace/drv/intctl/icp-ic/main.c return icpic_gone(icpic);