FIX: Fixing ARM64 execution when booting from bootloader.

FIX: Now works both for ARM64 and AMD64 EFI backends.
TODO: The ACB backend needs to be done too.

Signed-off-by: Amlal El Mahrouss <amlal.elmahrouss@icloud.com>

1 files changed, 4 insertions, 3 deletions

diff --git a/dev/ZKAKit/src/Utils.cc b/dev/ZKAKit/src/Utils.cc
index 412e4a45..d6657680 100644
--- a/dev/ZKAKit/src/Utils.cc
+++ b/dev/ZKAKit/src/Utils.cc
@@ -211,12 +211,13 @@ namespace Kernel
 	}
 } // namespace Kernel
 
-EXTERN_C void* memset(void* dst, int c, __SIZE_TYPE__ len)
+EXTERN_C void* memset(void* dst, int c, long long unsigned int len)
 {
 	return Kernel::rt_set_memory(dst, c, len);
 }
 
-EXTERN_C __UINT32_TYPE__ memcpy(void* dst, void* src, __SIZE_TYPE__ len)
+EXTERN_C void* memcpy(void* dst, const void* src, long long unsigned int len)
 {
-	return Kernel::rt_copy_memory(src, dst, len);
+	Kernel::rt_copy_memory(const_cast<void*>(src), dst, len);
+	return dst;
 }