[efi] Disable EFI watchdog timer when shutting down to boot an OS
[ipxe.git] / src / include / pc_kbd.h
1 #ifndef _PC_KBD_H
2 #define _PC_KBD_H
3
4 int kbd_ischar(void);
5
6 int kbd_getc(void);
7 #endif