i8259_get_name 61 kernel/genarch/src/drivers/i8259/i8259.c static const char *i8259_get_name(void); i8259_get_name 64 kernel/genarch/src/drivers/i8259/i8259.c .get_name = i8259_get_name,