loader: fix compiler error

Ivan-Velickovic · Ivan-Velickovic · commit 0606a193ef50 · 2025-11-21T16:56:04.000+11:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/loader/src/loader.c b/loader/src/loader.c
@@ -33,7 +33,7 @@ typedef void (*sel4_entry)(
     uintptr_t v_entry,
     uintptr_t dtb_addr_p,
     uintptr_t dtb_size
-#if defined(CONFIG_ARCH_RISCV) || defined(CONFIG_ENABLE_SMP_SUPPORT)
+#if defined(CONFIG_ARCH_RISCV) && defined(CONFIG_ENABLE_SMP_SUPPORT)
     ,
     uint64_t hart_id,
     uint64_t core_id

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ typedef void (*sel4_entry)(`
`33`	`33`	`uintptr_t v_entry,`
`34`	`34`	`uintptr_t dtb_addr_p,`
`35`	`35`	`uintptr_t dtb_size`
`36`		`-#if defined(CONFIG_ARCH_RISCV) \|\| defined(CONFIG_ENABLE_SMP_SUPPORT)`
	`36`	`+#if defined(CONFIG_ARCH_RISCV) && defined(CONFIG_ENABLE_SMP_SUPPORT)`
`37`	`37`	`,`
`38`	`38`	`uint64_t hart_id,`
`39`	`39`	`uint64_t core_id`