LED_DEV_COLOR_SET 46 uspace/lib/device/src/device/led_dev.c LED_DEV_COLOR_SET, (sysarg_t) pixel, NULL); LED_DEV_COLOR_SET 47 uspace/lib/drv/generic/remote_led_dev.c [LED_DEV_COLOR_SET] = remote_led_color_set