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

base-tukija: Fixed compiler errors/warnings.

Browse Source
This commit is contained in:
Michael Mueller
2025-05-11 22:03:35 +02:00
parent d9d02c9024
commit 225396c805
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -425,7 +425,7 @@ namespace Tukija {
uint8_t num_domains() const
{
return (reinterpret_cast<mword_t>(&nodes) + length - reinterpret_cast<mword_t>(nodes)) / sizeof(Domain);
return static_cast<uint8_t>((reinterpret_cast<mword_t>(&nodes) + length - reinterpret_cast<mword_t>(nodes)) / sizeof(Domain));
}
/**
@@ -534,7 +534,7 @@ namespace Tukija {
return static_cast<uint8_t>(cpu_to_domain[cpu]);
}
inline static Tip const *tip() {
inline static Tip *tip() {
return reinterpret_cast<Tip *>(0x7fffbffdb000);
}
};