9 void led_set_kb(uint8_t usb_led)
14 void init_backlight_pin(void)
19 // Initialize the timer
26 void backlight_set(uint8_t level)
28 // Determine the PWM level
48 xprintf("Unknown level: %d\n", level);
51 // Write the PWM level to the timer
52 TC4H = pwm_level >> 8;
53 OCR4A = 0xFF & pwm_level;