From 225396c80504f001c16e90e5eb4059319775a6db Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Sun, 11 May 2025 22:03:35 +0200
Subject: [PATCH] base-tukija: Fixed compiler errors/warnings.

---
 repos/base-tukija/include/tukija/syscall-generic.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base-tukija/include/tukija/syscall-generic.h b/repos/base-tukija/include/tukija/syscall-generic.h
index 9c99b931a0..18c2db3c9a 100644
--- a/repos/base-tukija/include/tukija/syscall-generic.h
+++ b/repos/base-tukija/include/tukija/syscall-generic.h
@@ -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);
 		}
 	};