Support atomic printks
[akaros.git] / kern / include / ucq.h
index 41adbac..f6a3864 100644 (file)
@@ -5,12 +5,9 @@
  * Unbounded concurrent queues, kernel side.  Check k/i/r/ucq.h or the
  * Documentation for more info. */
 
-#ifndef ROS_KERN_UCQ_H
-#define ROS_KERN_UCQ_H
+#pragma once
 
 #include <ros/ucq.h>
 #include <process.h>
 
 void send_ucq_msg(struct ucq *ucq, struct proc *p, struct event_msg *msg);
-
-#endif /* ROS_KERN_UCQ_H */