--- nono/vm/pluto.h	2026/04/29 17:04:36	1.1.1.3
+++ nono/vm/pluto.h	2026/04/29 17:04:55	1.1.1.7
@@ -9,13 +9,14 @@
 #include "device.h"
 #include <sys/time.h>
 
-class PlutoDevice
-	: public IODevice
+class PlutoDevice : public IODevice
 {
 	using inherited = IODevice;
  public:
 	PlutoDevice();
-	~PlutoDevice() override;
+	virtual ~PlutoDevice() override;
+
+	void ResetHard() override;
 
 	uint64 Read8(uint32 addr) override;
 	uint64 Read16(uint32 addr) override;
@@ -35,12 +36,14 @@ class PlutoDevice
 	void write_8_benchmark(uint32 addr, uint32 data);
 	void benchmark_start(uint32 data);
 	void benchmark_end();
-	int m_count = 0;
-	int m_test_num = 0;
-	const char *m_test_name = NULL;
-	int m_inst_len = 0;
-	int m_inst_cycle = 0;
-	int m_start_addr = 0;
+	int m_count {};
+	int m_test_num {};
+	const char *m_test_name {};
+	int m_inst_len {};
+	int m_inst_cycle {};
+	int m_start_addr {};
 	timeval m_start {};
 	timeval m_total {};
 };
+
+extern std::unique_ptr<PlutoDevice> gPluto;