icpic_remove 56 uspace/drv/intctl/icp-ic/icp-ic.h extern errno_t icpic_remove(icpic_t *); icpic_remove 122 uspace/drv/intctl/icp-ic/main.c return icpic_remove(icpic);