re-Deputized some things and added Deputy polymorphic types to active messages
[akaros.git] / kern / include / env.h
index 1180680..4eb5a4b 100644 (file)
@@ -114,6 +114,6 @@ void        env_pop_tf(trapframe_t *tf) __attribute__((noreturn));
 
 
 /* Helper handler for smp_call to dispatch jobs to other cores */
-void run_env_handler(trapframe_t *tf, TV(t) data);
+void run_env_handler(trapframe_t *tf, env_t * data);
 
 #endif // !ROS_KERN_ENV_H