proc_alloc: make new process inherit parent's user

[akaros.git] / kern / include / event.h

diff --git a/kern/include/event.h b/kern/include/event.h
index fae1d95..2007630 100644 (file)
--- a/kern/include/event.h
+++ b/kern/include/event.h
@@ -5,15 +5,15 @@
  * Kernel utility functions for sending events and notifications (IPIs) to
  * processes. */
 
-#ifndef ROS_KERN_EVENT_H
-#define ROS_KERN_EVENT_H
+#pragma once
 
 #include <ros/event.h>
+#include <ros/bits/posix_signum.h>
 #include <process.h>
 
 void send_event(struct proc *p, struct event_queue *ev_q, struct event_msg *msg,
                 uint32_t vcoreid);
 void send_kernel_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid);
-void post_vcore_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid);
-
-#endif /* ROS_KERN_EVENT_H */
+void post_vcore_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid,
+                      int ev_flags);
+void send_posix_signal(struct proc *p, int sig_nr);