libutils: Fix call to sel4utils_arch_init_context
diff --git a/libsel4utils/src/arch/arm/arch.c b/libsel4utils/src/arch/arm/arch.c index 8e709f1..eae0dba 100644 --- a/libsel4utils/src/arch/arm/arch.c +++ b/libsel4utils/src/arch/arm/arch.c
@@ -36,7 +36,7 @@ context->r1 = (seL4_Word) arg1; context->r2 = (seL4_Word) arg2; - return sel4utils_init_context(entry_point, stack_top, context); + return sel4utils_arch_init_context(entry_point, stack_top, context); }