src/cdc_uart.h - third_party/github/raspberrypi/debugprobe - Git at Google

 #ifndef CDC_UART_H
 #define CDC_UART_H

 void cdc_uart_init(void);
 void cdc_task(void);

 #endif
	#ifndef CDC_UART_H
	#define CDC_UART_H

	void cdc_uart_init(void);
	void cdc_task(void);

	#endif