# HG changeset patch # User yamahata@xxxxxxxxxxxxx # Date 1177999920 -32400 # Node ID a05b5a01b88ad708a32ffed6119b7a21a17ca97b # Parent 6690796853710c42e76207374707ec8e5419b676 mask event channel when vcpu boots. Actually XenLinux/ia64 disables interrupts right after SAL OS HAND OFF and reinitialize all psr so that this won't be an issue. Just to be make it sure. PATCHNAME: mask_event_channel Signed-off-by: Isaku Yamahata diff -r 669079685371 -r a05b5a01b88a xen/arch/ia64/xen/vcpu.c --- a/xen/arch/ia64/xen/vcpu.c Wed May 02 12:47:27 2007 +0900 +++ b/xen/arch/ia64/xen/vcpu.c Tue May 01 15:12:00 2007 +0900 @@ -173,6 +173,10 @@ void vcpu_init_regs(struct vcpu *v) (unsigned char *)v->domain->arch.shared_info_va + INT_ENABLE_OFFSET(v); VCPU(v, itv) = (1 << 16); /* timer vector masked */ + + /* SAL specification 3.2.4 */ + VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN; + v->vcpu_info->evtchn_upcall_mask = -1; } /* pta.size must not be 0. The minimum is 15 (32k) */