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 #pragma once
   9
  10 #include <ros/event.h>
  11 #include <ros/bits/posix_signum.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 void send_posix_signal(struct proc *p, int sig_nr);