void delay(int); int inb(int); int kbdc(void); void outb(int, int); void prhex(ulong); void screenputc(int); void screenputs(char*, int);