Fix types used in SMC code

au-ts · Jul 10, 2023 · ffda2ed · ffda2ed
1 parent b3c39a8
commit ffda2ed
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/arch/aarch64/smc.c b/src/arch/aarch64/smc.c
@@ -32,7 +32,7 @@ typedef enum {
     SMC_CALL_RESERVED = 64,
 } smc_call_id_t;
 
-static smc_call_id_t smc_get_call(uintptr_t func_id)
+static smc_call_id_t smc_get_call(size_t func_id)
 {
     uint64_t service = ((func_id >> SMC_SERVICE_CALL_SHIFT) & SMC_SERVICE_CALL_MASK);
     assert(service >= 0 && service <= 0xFFFF);

diff --git a/src/arch/aarch64/smc.h b/src/arch/aarch64/smc.h
@@ -7,12 +7,13 @@
 
 #pragma once
 
-#include <stdint.h>
 #include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <sel4cp.h>
 
 /* SMC vCPU fault handler */
-bool handle_smc(uint64_t vcpu_id, uint32_t hsr);
+bool handle_smc(size_t vcpu_id, uint32_t hsr);
 
 /* Helper functions */
 void smc_set_return_value(seL4_UserContext *u, uint64_t val);