From db48bc3af772cfe3f666c8a00a9ec945e8368121 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Tue, 13 Sep 2022 15:17:58 +0200
Subject: [PATCH] print npt values

---
 repos/dde_uos-intel-gpgpu/src/virt/rpc.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
index 4f3526982f..d767461b40 100644
--- a/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
+++ b/repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
@@ -80,6 +80,7 @@ int Session_component::start_task(unsigned long kconf)
 		if(kc->buffConfigs[i].non_pointer_type)
 		{
 			Genode::log("\t\tvaddr: ", (void*)kc->buffConfigs[i].buffer);
+			Genode::log("\t\tval: ", *((uint32_t*)(kc->buffConfigs[i].buffer)));
 		}
 		else
 		{