denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

print npt values

Browse Source
This commit is contained in:
Marcel Lütke Dreimann
2022-09-13 15:17:58 +02:00
parent fd6d63cc10
commit db48bc3af7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/dde_uos-intel-gpgpu/src/virt/rpc.cc
View File

@@ -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
{