+ void set_debug(bool value);
+ void set_histogram(bool value);
+ void reset(bool value);
+ void step(size_t n); // run for n cycles
+ void deliver_ipi(); // register an interprocessor interrupt
+ bool running() { return run; }
+ void set_csr(int which, reg_t val);
+ void raise_interrupt(reg_t which);
+ reg_t get_csr(int which);
+ mmu_t* get_mmu() { return mmu; }
+ state_t* get_state() { return &state; }
+ extension_t* get_extension() { return ext; }
+ bool supports_extension(unsigned char ext) {
+ return ext >= 'A' && ext <= 'Z' && ((cpuid >> (ext - 'A')) & 1);
+ }
+ void push_privilege_stack();
+ void pop_privilege_stack();
+ void yield_load_reservation() { state.load_reservation = (reg_t)-1; }
+ void update_histogram(size_t pc);
+
+ void register_insn(insn_desc_t);
+ void register_extension(extension_t*);