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

better error reporting for allocator issues

Browse Source
This commit is contained in:
Marcel Lütke Dreimann
2023-01-03 11:51:35 +01:00
parent 09b3d60a03
commit 946698d2e3
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc
View File

@@ -71,8 +71,8 @@ void* gpgpu_genode::aligned_alloc(uint32_t alignment, uint32_t size)
[&] (void *ptr) { return ptr; },
[&] (Genode::Range_allocator::Alloc_error) -> void * {
Genode::error("[GPU] Error in driver allocation!");
[&] (Genode::Range_allocator::Alloc_error e) -> void * {
Genode::error("[GPU] Error in driver allocation: ", e);
return nullptr;
}
);

4
repos/hello_gpgpu/src/hello_gpgpu/CL/cl_genode.cc
View File

@@ -43,8 +43,8 @@ void* cl_genode::aligned_alloc(Genode::uint32_t alignment, Genode::uint32_t size
[&] (void *ptr) { return ptr; },
[&] (Genode::Range_allocator::Alloc_error) -> void * {
Genode::error("[OCL] Error in driver allocation!");
[&] (Genode::Range_allocator::Alloc_error e) -> void * {
Genode::error("[OCL] Error in driver allocation: ", e);
return nullptr;
}
);