4 * PS2 Keyboard/Mouse Driver
12 extern int KB_Install(char **Arguments);
13 extern int PS2Mouse_Install(char **Arguments);
15 extern void KBC8042_Init(void);
16 extern void KBC8042_EnableMouse(void);
18 extern void PL050_Init(Uint32 KeyboardBase, Uint8 KeyboardIRQ, Uint32 MouseBase, Uint8 MouseIRQ);
19 extern void PL050_EnableMouse(void);
21 extern void KB_HandleScancode(Uint8 scancode);
22 extern void PS2Mouse_HandleInterrupt(Uint8 InputByte);
24 extern void (*gpPS2Mouse_EnableFcn)(void);