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 8a6c22a..2007630 100644 (file)
--- a/kern/include/event.h
+++ b/kern/include/event.h
@@ -5,8 +5,7 @@
  * 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>
@@ -18,5 +17,3 @@ 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,
                       int ev_flags);
 void send_posix_signal(struct proc *p, int sig_nr);
-
-#endif /* ROS_KERN_EVENT_H */