Reorganize event_queue helpers [1/2]
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 13 Aug 2015 15:43:22 +0000 (11:43 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 28 Sep 2015 19:14:00 +0000 (15:14 -0400)
Moved them and added a "put" for the VCPD type, even though it's the
same as the slimmer ev_q put.

I'll rename all of these next patch.

user/parlib/event.c
user/parlib/include/event.h

index f565d1e..250a62d 100644 (file)
@@ -137,6 +137,11 @@ void put_event_q(struct event_queue *ev_q)
        free(ev_q);
 }
 
+void put_event_q_vcpd(struct event_queue *ev_q)
+{
+       put_event_q(ev_q);
+}
+
 /* Sets ev_q to be the receiving end for kernel event ev_type */
 void register_kevent_q(struct event_queue *ev_q, unsigned int ev_type)
 {
index 23f765b..02a4930 100644 (file)
 __BEGIN_DECLS
 
 /********* Event_q Setup / Registration  ***********/
-struct event_queue *get_big_event_q_raw(void);
 struct event_queue *get_big_event_q(int mbox_type);
-void event_mbox_init(struct event_mbox *ev_mbox, int mbox_type);
-void put_big_event_q_raw(struct event_queue *ev_q);
-void put_big_event_q(struct event_queue *ev_q);
-void event_mbox_cleanup(struct event_mbox *ev_mbox);
+struct event_queue *get_big_event_q_raw(void);
 struct event_queue *get_event_q(void);
 struct event_queue *get_event_q_vcpd(uint32_t vcoreid, int ev_flags);
+void put_big_event_q(struct event_queue *ev_q);
+void put_big_event_q_raw(struct event_queue *ev_q);
 void put_event_q(struct event_queue *ev_q);
+void put_event_q_vcpd(struct event_queue *ev_q);
+
+void event_mbox_init(struct event_mbox *ev_mbox, int mbox_type);
+void event_mbox_cleanup(struct event_mbox *ev_mbox);
+
 void register_kevent_q(struct event_queue *ev_q, unsigned int ev_type);
 struct event_queue *clear_kevent_q(unsigned int ev_type);
 void enable_kevent(unsigned int ev_type, uint32_t vcoreid, int ev_flags);