1 2 3 4 5
#include <stdint.h> extern void benchmark_drv_init(void); void benchmark_start(uint8_t epnr);