i8259_remove 55 uspace/drv/intctl/i8259/i8259.h extern errno_t i8259_remove(i8259_t *); i8259_remove 123 uspace/drv/intctl/i8259/main.c return i8259_remove(i8259);