direct-io.hg

changeset 15104:4b4db1f10147

[IA64] Clear pending event when vcpu boots

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
author Alex Williamson <alex.williamson@hp.com>
date Mon May 07 13:14:27 2007 -0600 (2007-05-07)
parents 1a010d9444ba
children d1ce60b8070f
files xen/arch/ia64/xen/vcpu.c
line diff
     1.1 --- a/xen/arch/ia64/xen/vcpu.c	Mon May 07 13:12:44 2007 -0600
     1.2 +++ b/xen/arch/ia64/xen/vcpu.c	Mon May 07 13:14:27 2007 -0600
     1.3 @@ -176,6 +176,7 @@ void vcpu_init_regs(struct vcpu *v)
     1.4  
     1.5  		/* SAL specification 3.2.4 */
     1.6  		VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN;
     1.7 +		v->vcpu_info->evtchn_upcall_pending = 0;
     1.8  		v->vcpu_info->evtchn_upcall_mask = -1;
     1.9  	}
    1.10