Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision c12f8911dc227a24b5ab11008009157569740d86)
+++ kernel/generic/include/typedefs.h	(revision 193d280c34f38846eccfa1ecce71975f9ad92398)
@@ -50,5 +50,5 @@
 } atomic_t;
 
-typedef void (* function)();
+typedef void (* function)(void);
 
 typedef uint32_t container_id_t;
Index: kernel/generic/src/lib/func.c
===================================================================
--- kernel/generic/src/lib/func.c	(revision c12f8911dc227a24b5ab11008009157569740d86)
+++ kernel/generic/src/lib/func.c	(revision 193d280c34f38846eccfa1ecce71975f9ad92398)
@@ -51,5 +51,5 @@
  *
  */
-void halt()
+void halt(void)
 {
 #if (defined(CONFIG_DEBUG)) && (defined(CONFIG_KCONSOLE))