akaros/kern/include/event.h
<<
>>
Prefs
   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
  14void send_event(struct proc *p, struct event_queue *ev_q, struct event_msg *msg,
  15                uint32_t vcoreid);
  16void send_kernel_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid);
  17void post_vcore_event(struct proc *p, struct event_msg *msg, uint32_t vcoreid,
  18                      int ev_flags);
  19void send_posix_signal(struct proc *p, int sig_nr);
  20