consoleinit 19 defs.h void consoleinit(void); consoleinit 28 main.c consoleinit(); // I/O devices & their interrupts