ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 11:55:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-hw: print addr as hex value in cache warning

Browse Source 
Ref #4207
This commit is contained in:
Stefan Kalkowski 2021-07-01 14:11:15 +02:00 committed by Christian Helmuth
parent 45f5ed173a
commit f939b9ffb5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/src/core/spec/arm/kernel/thread_caches.cc
View File

@ -45,7 +45,7 @@ static void for_cachelines(addr_t base,
fn(base, size);
} else {
Genode::raw(thread, " tried to make invalid address ",
base, " cache coherent");
(void*)base, " cache coherent");
}
}