Index: /trunk/src/VBox/Devices/Input/PS2K.cpp
===================================================================
--- /trunk/src/VBox/Devices/Input/PS2K.cpp	(revision 55074)
+++ /trunk/src/VBox/Devices/Input/PS2K.cpp	(revision 55075)
@@ -618,5 +618,5 @@
  * @param   u8State         Bitfield which reflects LEDs state.
  */
-static void PS2KNotifyLedsState(PPS2K pThis, uint8_t u8State)
+static void ps2kNotifyLedsState(PPS2K pThis, uint8_t u8State)
 {
 
@@ -720,5 +720,5 @@
 #else
                     {
-                        PS2KNotifyLedsState(pThis, cmd);
+                        ps2kNotifyLedsState(pThis, cmd);
                         pThis->fNumLockOn = !!(cmd & 0x02); /* Sync internal Num Lock state. */
                         ps2kInsertQueue((GeneriQ *)&pThis->cmdQ, KRSP_ACK);
@@ -1352,5 +1352,5 @@
     ps2kReleaseKeys(pThis);
 #ifdef IN_RING3
-    PS2KNotifyLedsState(pThis, pThis->u8LEDs);
+    ps2kNotifyLedsState(pThis, pThis->u8LEDs);
 #endif
     return VINF_SUCCESS;