#include "stdint.h" #include "ps2.h" #include "led.h" void led_set(uint8_t usb_led) { uint8_t ps2_led = 0; if (usb_led & (1<