* 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 */