i8259_add 54 uspace/drv/intctl/i8259/i8259.h extern errno_t i8259_add(i8259_t *, i8259_res_t *); i8259_add 114 uspace/drv/intctl/i8259/main.c return i8259_add(i8259, &i8259_res);