kern/include/event.h

   1 /* Copyright (c) 2011 The Regents of the University of California
   2  * Barret Rhoden <brho@cs.berkeley.edu>
   3  * See LICENSE for details.
   4  *
   5  * Kernel utility functions for sending events and notifications (IPIs) to
   6  * processes. */
   7
   8 #ifndef ROS_KERN_EVENT_H
   9 #define ROS_KERN_EVENT_H
  10
  11 #include <ros/event.h>
  12 #include <ros/bits/posix_signum.h>
  13 #include <process.h>
  14
  15 void send_event(struct proc *p, struct event_queue *ev_q, struct event_msg *msg,
  16                 uint32_t vcoreid);
  17 void send_kernel_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid);
  18 void post_vcore_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid,
  19                       int ev_flags);
  20 void send_posix_signal(struct proc *p, int sig_nr);
  21
  22 #endif /* ROS_KERN_EVENT_H */