From 50d0bc5ec2ad29c92ca5707c54a754b627355a2d Mon Sep 17 00:00:00 2001 From: Kurt Wu Date: Tue, 12 May 2026 19:03:50 +1000 Subject: [PATCH] loader: fix mismatched type for inline assembly Signed-off-by: Kurt Wu --- loader/src/aarch64/init.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/loader/src/aarch64/init.c b/loader/src/aarch64/init.c index 2d8f2e0cd..bc09276c6 100644 --- a/loader/src/aarch64/init.c +++ b/loader/src/aarch64/init.c @@ -137,7 +137,7 @@ typedef void (*sel4_entry)( void arch_jump_to_kernel(int logical_cpu) { /* seL4 always expects the current logical CPU number in TPIDR_EL1 */ - asm volatile("msr TPIDR_EL1, %0" :: "r"(logical_cpu)); + asm volatile("msr TPIDR_EL1, %0" :: "r"((uint64_t) logical_cpu)); asm volatile("isb" ::: "memory"); ((sel4_entry)(loader_data->kernel_entry))(