#include <stdint.h>

extern void benchmark_drv_init(void);

void benchmark_start(uint8_t epnr);