From ddfd61bd7e71b4ad602da69473586d072017992b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 4 Jul 2008 12:20:19 +0100 Subject: [PATCH] Fix build. Signed-off-by: Keir Fraser --- xen/common/domain.c | 5 +---- xen/common/event_channel.c | 4 +--- xen/include/xen/event.h | 3 +++ 3 files changed, 5 insertions(+), 7 deletions(-) diff --git a/xen/common/domain.c b/xen/common/domain.c index aa5dac5ebe..6838b5c706 100644 --- a/xen/common/domain.c +++ b/xen/common/domain.c @@ -97,11 +97,8 @@ static void __domain_finalise_shutdown(struct domain *d) return; d->is_shut_down = 1; - if ( d->shutdown_code == SHUTDOWN_suspend - && d->suspend_evtchn > 0 ) - { + if ( (d->shutdown_code == SHUTDOWN_suspend) && d->suspend_evtchn ) evtchn_set_pending(dom0->vcpu[0], d->suspend_evtchn); - } else send_guest_global_virq(dom0, VIRQ_DOM_EXC); } diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c index fc105c5bd9..f27efef13b 100644 --- a/xen/common/event_channel.c +++ b/xen/common/event_channel.c @@ -56,8 +56,6 @@ goto out; \ } while ( 0 ) -static int evtchn_set_pending(struct vcpu *v, int port); - static int virq_is_global(int virq) { int rc; @@ -537,7 +535,7 @@ out: } -static int evtchn_set_pending(struct vcpu *v, int port) +int evtchn_set_pending(struct vcpu *v, int port) { struct domain *d = v->domain; 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 #include +/* 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 -- 2.30.2