1
/******************************************************************************
4
* A nice interface for passing per-domain asynchronous events.
5
* These events are handled in the hypervisor, prior to return
8
* Copyright (c) 2002, K A Fraser
11
#include <xeno/config.h>
12
#include <xeno/event.h>
14
typedef void (*hyp_event_callback_fn_t)(void);
16
/* Ordering must match definitions of _HYP_EVENT_* in xeno/sched.h */
17
static hyp_event_callback_fn_t event_call_fn[] =
23
/* Handle outstanding events for the currently-executing domain. */
24
void do_hyp_events(void)
27
while ( (nr = ffs(current->hyp_events)) != 0 )
28
(event_call_fn[nr-1])();