Get the previous commit working with gcc
[akaros.git] / kern / include / env.h
index 4eb5a4b..bba2269 100644 (file)
@@ -114,6 +114,10 @@ void       env_pop_tf(trapframe_t *tf) __attribute__((noreturn));
 
 
 /* Helper handler for smp_call to dispatch jobs to other cores */
+#ifdef __IVY__
 void run_env_handler(trapframe_t *tf, env_t * data);
+#else
+void run_env_handler(trapframe_t *tf, void * data);
+#endif
 
 #endif // !ROS_KERN_ENV_H