enable_kevent() takes flags, not a bool
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 24 Feb 2011 23:36:46 +0000 (15:36 -0800)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:59 +0000 (17:35 -0700)
Some places were already using flags, which is more flexible.  Not that
enable_kevent() is really that great anyway...

tests/eth_audio.c
tests/mhello.c
user/parlib/event.c
user/parlib/include/event.h

index b1e5e34..3f7f3aa 100644 (file)
@@ -54,7 +54,7 @@ int main()
                printf("vcore_init() failed, we're fucked!\n");
 
        /* ETHAUD Turn on Free apple pie (which is the network packet) */
-       enable_kevent(EV_FREE_APPLE_PIE, 0, TRUE);
+       enable_kevent(EV_FREE_APPLE_PIE, 0, EVENT_IPI);
 
        /* Need to save this somewhere that you can find it again when restarting
         * core0 */
index e2732ad..f79b0c1 100644 (file)
@@ -52,7 +52,7 @@ int main(int argc, char** argv)
         * event and IPI for USER_IPIs on vcore 0.  Check event.c for more stuff.
         * Note you don't have to register for USER_IPIs to receive ones you send
         * yourself with sys_self_notify(). */
-       enable_kevent(EV_USER_IPI, 0, TRUE);
+       enable_kevent(EV_USER_IPI, 0, EVENT_IPI);
        /* Receive pending preemption events.  Can also get a MSG if you want. */
        struct event_queue *ev_q = get_event_q();
        ev_q->ev_flags = EVENT_IPI | EVENT_NOMSG | EVENT_VCORE_APPRO;
index ced55f6..c7cdb1a 100644 (file)
@@ -84,10 +84,10 @@ struct event_queue *clear_kevent_q(unsigned int ev_type)
  * if you want one or not.  This is the simplest thing applications may want,
  * and shows how you can put the other event functions together to get similar
  * things done. */
-void enable_kevent(unsigned int ev_type, uint32_t vcoreid, bool ipi)
+void enable_kevent(unsigned int ev_type, uint32_t vcoreid, int ev_flags)
 {
        struct event_queue *ev_q = get_event_q_vcpd(vcoreid);
-       ev_q->ev_flags = ipi ? EVENT_IPI : 0;
+       ev_q->ev_flags = ev_flags;
        ev_q->ev_vcore = vcoreid;
        ev_q->ev_handler = 0;
        register_kevent_q(ev_q, ev_type);
index 273b161..c03f714 100644 (file)
@@ -19,7 +19,7 @@ struct event_queue *get_event_q_vcpd(uint32_t vcoreid);
 void put_event_q(struct event_queue *ev_q);
 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, bool ipi);
+void enable_kevent(unsigned int ev_type, uint32_t vcoreid, int ev_flags);
 void disable_kevent(unsigned int ev_type);
 
 /********* Event Handling / Reception ***********/