Fixes bug in event headers (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Mar 2012 18:57:57 +0000 (11:57 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Mar 2012 18:57:57 +0000 (11:57 -0700)
Has been around since 16a868, haven't seen it hit yet, though it might
have been masking other bugs.

kern/include/ros/event.h

index 08bdab4..e0d3b8c 100644 (file)
@@ -91,6 +91,7 @@ struct event_queue {
 struct event_queue_big {
        struct event_mbox                       *ev_mbox;
        int                                                     ev_flags;
+       bool                                            ev_alert_pending;
        uint32_t                                        ev_vcore;
        void                                            (*ev_handler)(struct event_queue *);
        struct event_mbox                       ev_imbox;