#include <oskit/x86/pc/keyboard.h>
XXXThis header file contains the register definitions for the PC keyboard. The port addresses are defined, along with the status and control bits. This would be used by a keyboard device driver, or someone manipulating they keyboard directly. (ie, to turn on and off the keyboard LEDs).
This header file is taken from CMU's Mach kernel.