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

base-tukija: Fixed Cpuset::count() reporting wrong number of CPUs. Also changed print() to output correct JSON.

Browse Source
This commit is contained in:
Michael Mueller
2025-03-11 13:57:29 +01:00
parent 701be9aab6
commit 058b190a81
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
repos/base-tukija/include/tukija/syscall-generic.h
View File

@@ -183,7 +183,7 @@ namespace Tukija {
unsigned count()
{
unsigned count = 0;
for (unsigned i = 0; i < sizeof(raw); i++) {
for (unsigned i = 0; i < sizeof(raw) / sizeof(raw[0]); i++) {
count += static_cast<unsigned>(popcount(raw[i]));
}
return count;
@@ -1325,9 +1325,9 @@ namespace Genode {
}
static inline void print(Output &out, Tukija::Cpuset &cpus) {
print(out, "CPUs [ ");
print(out, "[ ");
cpus.for_each([&](long cpu)
{ print(out, cpu, " "); });
{ print(out, cpu, ", "); });
print(out, "]");
}