#ifndef _UTIL_H
#define _UTIL_H

#include <stdint.h>

#define setStats(x)

#define read_csr(csrname) ({ \
	uint32_t __csr_tmp_u32; \
	__asm__ volatile ("csrr %0, " #csrname : "=r" (__csr_tmp_u32)); \
	__csr_tmp_u32; \
})

#endif