extern void pckbd_leds(unsigned char leds);
#endif /* !CONFIG_DM_KEYBOARD */
+#if defined(CONFIG_MPC5xxx) || defined(CONFIG_MPC8540) || \
+ defined(CONFIG_MPC8541) || defined(CONFIG_MPC8555)
+int ps2ser_check(void);
+#endif
+
#endif /* __KEYBOARD_H */