Moves resource requests to procdata (XCC)
[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 <process.h>
13
14 void send_event(struct proc *p, struct event_queue *ev_q, struct event_msg *msg,
15                 uint32_t vcoreid);
16 void send_kernel_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid);
17 void post_vcore_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid,
18                       int ev_flags);
19
20 #endif /* ROS_KERN_EVENT_H */