diff --git a/input/input_driver.c b/input/input_driver.c
index 6633516e75..88a13e147a 100644
--- a/input/input_driver.c
+++ b/input/input_driver.c
@@ -2809,10 +2809,11 @@ unsigned *input_config_get_device_ptr(unsigned port)
 
 unsigned input_config_get_device_count(void)
 {
+   int i;
    unsigned num_devices = 0;
    input_driver_state_t *input_st = &input_driver_st;
 
-   for (int i = 0; i < MAX_INPUT_DEVICES; ++i)
+   for (i = 0; i < MAX_INPUT_DEVICES; ++i)
    {
       if (string_is_empty(input_st->input_device_info[i].name))
          num_devices++;