46 write_csr(mcounteren, 7);
static int supports_extension(char ext)
#define CAUSE_ILLEGAL_INSTRUCTION
#define CAUSE_STORE_ACCESS
#define CAUSE_MISALIGNED_FETCH
#define CAUSE_LOAD_ACCESS
#define CAUSE_FETCH_ACCESS
#define CAUSE_STORE_PAGE_FAULT
#define CAUSE_FETCH_PAGE_FAULT
#define CAUSE_LOAD_PAGE_FAULT