extern uint32_t pios_usb_rctx_id;

extern void PIOS_USB_RCTX_Update(uint32_t usbrctx_id, const float channels[], uint8_t num_channels);