Kernel messages infrastructure
[akaros.git] / kern / include / ros / notification.h
index 82bd3da..0491005 100644 (file)
@@ -8,13 +8,9 @@
 #define ROS_INC_NOTIFICATION_H
 
 #include <ros/common.h>
+#include <ros/atomic.h>
 #include <ros/arch/trapframe.h>
 // TODO: #include some one-way queue macros for the notif_event queue
-// TODO: move me to an atomic header, and give me some support functions.
-#ifndef __TMP_SEQ_CTR
-#define __TMP_SEQ_CTR
-typedef uint8_t seq_ctr_t;
-#endif
 
 /* How/If a process wants to be notified about an event */
 struct notif_method {
@@ -69,7 +65,7 @@ struct preempt_data {
        // TODO: move to procinfo!
        uint64_t                                preempt_pending;
        bool                                    notif_enabled;          /* vcore is willing to receive*/
-       bool                                    notif_pending;          /* notif a_msg on the way */
+       bool                                    notif_pending;          /* notif k_msg on the way */
        seq_ctr_t                               preempt_tf_valid;
        uint8_t                                 notif_bmask[(NR_PERCORE_EVENTS - 1) / 8 + 1];
        struct notif_event              notif_events[NR_PERCORE_EVENTS];