#include "serial.h"
#ifndef KBDBASE
#define KBDBASE 0x60
#endif

void disablekbd (void);
void enablekbd (void);
int checkkbdlock (void);