5 lines
77 B
C
5 lines
77 B
C
#include <stdint.h>
|
|
|
|
extern uint64_t rdcycle();
|
|
extern uint64_t rdinstret();
|