# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Date 1178100969 -32400
# Node ID cbb58dd283af2cc0d1893dfb2b1d276f07a803bf
# Parent  72d723ac6e047a90cdb98cb14d38acabb11bd5a2
clear pending event when vcpu boots
PATCHNAME: clear_pending_event

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 72d723ac6e04 -r cbb58dd283af xen/arch/ia64/xen/vcpu.c
--- a/xen/arch/ia64/xen/vcpu.c	Wed May 02 19:15:19 2007 +0900
+++ b/xen/arch/ia64/xen/vcpu.c	Wed May 02 19:16:09 2007 +0900
@@ -176,6 +176,7 @@ void vcpu_init_regs(struct vcpu *v)
 
 		/* SAL specification 3.2.4 */
 		VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN;
+		v->vcpu_info->evtchn_upcall_pending = 0;
 		v->vcpu_info->evtchn_upcall_mask = -1;
 	}