diff --git a/src/include/kernel_args.h b/src/include/kernel_args.h
index 6fd2ccc..7cc03e8 100644
--- a/src/include/kernel_args.h
+++ b/src/include/kernel_args.h
@@ -84,6 +84,6 @@ __attribute__((aligned(alignof(max_align_t))));
 
 } // namespace args
 
-using entrypoint = void (*)(args::header *);
+using entrypoint = __attribute__((sysv_abi)) void (*)(args::header *);
 
 } // namespace kernel