i8259_dev_remove 46 uspace/drv/intctl/i8259/main.c static errno_t i8259_dev_remove(ddf_dev_t *dev); i8259_dev_remove 53 uspace/drv/intctl/i8259/main.c .dev_remove = i8259_dev_remove,