diff --git a/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/client.h b/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/client.h
index 5febf12db2..efc2da1683 100644
--- a/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/client.h
+++ b/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/client.h
@@ -23,10 +23,6 @@ struct Session_client : Genode::Rpc_client<Session>
 		call<Rpc_register_vm>(size, ram_cap);
 	}
 
-	void print_vgpu_bench(unsigned long i) override
-	{
-		call<Rpc_print_vgpu_bench>(i);
-	}
 };
 
 }
diff --git a/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/session.h b/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/session.h
index 97a1fce9a2..dd87631b25 100644
--- a/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/session.h
+++ b/repos/dde_uos-intel-gpgpu/include/gpgpu_virt/session.h
@@ -14,7 +14,6 @@ struct Session : Genode::Session
 
 	virtual void register_vm(Genode::size_t size, Genode::Ram_dataspace_capability& ram_cap) = 0;
 	virtual void start_task(unsigned long kconf) = 0;
-	virtual void print_vgpu_bench(unsigned long i) = 0; 
 
 	/*******************
 	 ** RPC interface **
@@ -22,10 +21,9 @@ struct Session : Genode::Session
 
 	GENODE_RPC(Rpc_register_vm, void, register_vm, Genode::size_t, Genode::Ram_dataspace_capability&);
 	GENODE_RPC(Rpc_start_task, void, start_task, unsigned long);
-	GENODE_RPC(Rpc_print_vgpu_bench, void, print_vgpu_bench, unsigned long);
 
 
-	GENODE_RPC_INTERFACE(Rpc_register_vm, Rpc_start_task, Rpc_print_vgpu_bench);
+	GENODE_RPC_INTERFACE(Rpc_register_vm, Rpc_start_task);
 };
 
 }
diff --git a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
index 22a1029b5b..77371cfed7 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
+++ b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
@@ -18,11 +18,6 @@ extern gpgpu_virt::GPGPUScheduler* _global_sched;
 
 namespace gpgpu_virt {
 
-void Session_component::print_vgpu_bench(unsigned long i)
-{
-	vgpu.print_vgpu_bench(i);
-}
-
 void Session_component::register_vm(Genode::size_t size, Genode::Ram_dataspace_capability& ram_cap_vm)
 {
 	// create shared mem
@@ -107,16 +102,11 @@ Session_component::~Session_component()
 	_global_gpgpu_genode->freeRamCap(ram_cap);
 }
 
-
-
 Session_component* Root_component::_create_session(const char *)
 {
 	return new (md_alloc()) Session_component();
 }
 
-
-
-
 Root_component::Root_component(Genode::Entrypoint &ep,
 				Genode::Allocator &alloc)
 :
diff --git a/repos/dde_uos-intel-gpgpu/src/virt/rpc.h b/repos/dde_uos-intel-gpgpu/src/virt/rpc.h
index a79742d948..c273a44cf6 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/rpc.h
+++ b/repos/dde_uos-intel-gpgpu/src/virt/rpc.h
@@ -25,8 +25,6 @@ struct Session_component : Genode::Rpc_object<Session>
 
 	void start_task(unsigned long kconf) override;
 
-	void print_vgpu_bench(unsigned long i) override; 
-
 };
 
 class Root_component
diff --git a/repos/dde_uos-intel-gpgpu/src/virt/vgpu.h b/repos/dde_uos-intel-gpgpu/src/virt/vgpu.h
index 96af9a78ed..eba59f833b 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/vgpu.h
+++ b/repos/dde_uos-intel-gpgpu/src/virt/vgpu.h
@@ -106,15 +106,6 @@ namespace gpgpu_virt {
             Kernel* take_kernel() { 
                 return (Kernel*)ready_list.dequeue();
             }
-
-            /**
-            * @brief Print bench
-            */
-            void print_vgpu_bench(unsigned long i)
-            {
-                Genode::log("bench result of vgpu ", i);
-                GPGPU_Driver::getInstance().printBenchResults();
-            };
     };
 }
 
diff --git a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
index 4efbddde1f..4bd1da493c 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
@@ -55,8 +55,3 @@ void cl_genode::wait(struct kernel_config* kconf)
         asm("nop");
     }
 }
-
-void cl_genode::print_vgpu_bench(unsigned long i)
-{
-    backend_driver.print_vgpu_bench(i);
-}
diff --git a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.h b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.h
index d14e38ebcf..680a07853b 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.h
+++ b/repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.h
@@ -100,11 +100,6 @@ public:
      * 
      */
     void reset() { allocator.reset(); }
-
-    /**
-    * @brief print bench results */
-    void print_vgpu_bench(unsigned long i);
-
 };
 
 #endif // CL_GENODE_H