path: root/src/include/pc80/i8259.h

void setup_i8259(void);