Merge pull request #1294 from riscv-software-src/wfi_accessor

Add processor_t::is_waiting_for_interrupt accessor

riscv/processor.h

@@ -293,6 +293,8 @@ public:
   void set_mmu_capability(int cap);
 
   const char* get_symbol(uint64_t addr);
+  
+  bool is_waiting_for_interrupt() { return in_wfi; };
 
 private:
   const isa_parser_t * const isa;