diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-04 12:20:19 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-04 12:20:19 +0100 |
| commit | ddfd61bd7e71b4ad602da69473586d072017992b (patch) | |
| tree | 0c8fb6c9b8eb7f86eb0d30281e9427950a6c9665 /xen/include/xen/event.h | |
| parent | e2b0df4318764327d16689b96d9be7c17942c673 (diff) | |
| download | xen-ddfd61bd7e71b4ad602da69473586d072017992b.tar.gz xen-ddfd61bd7e71b4ad602da69473586d072017992b.tar.bz2 xen-ddfd61bd7e71b4ad602da69473586d072017992b.zip | |
Fix build.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
Diffstat (limited to 'xen/include/xen/event.h')
| -rw-r--r-- | xen/include/xen/event.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/include/xen/event.h b/xen/include/xen/event.h index a2d176c6b5..fadf01b7ec 100644 --- a/xen/include/xen/event.h +++ b/xen/include/xen/event.h @@ -16,6 +16,9 @@ #include <asm/bitops.h> #include <asm/event.h> +/* Returns TRUE if the delivery port was already pending. */ +int evtchn_set_pending(struct vcpu *v, int port); + /* * send_guest_vcpu_virq: Notify guest via a per-VCPU VIRQ. * @v: VCPU to which virtual IRQ should be sent |