i8259_dev_gone 47 uspace/drv/intctl/i8259/main.c static errno_t i8259_dev_gone(ddf_dev_t *dev); i8259_dev_gone 54 uspace/drv/intctl/i8259/main.c .dev_gone = i8259_dev_gone,