i8042_TIMEOUT 82 kernel/genarch/src/drivers/i8042/i8042.c for (uint32_t i = 0; i < i8042_TIMEOUT; i++) { i8042_TIMEOUT 93 kernel/genarch/src/drivers/i8042/i8042.c for (uint32_t i = 0; i < i8042_TIMEOUT; i++) {