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 {