PCI: helpers for BSD
[akaros.git] / 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 */