ia64/xen-unstable

changeset 4604:89d65362afad

bitkeeper revision 1.1327.1.5 (4266ee2bW65qcNXtpGjcvtUxXqKVUQ)

vcpu.c:
more cases for setting pending
author djm@kirby.fc.hp.com
date Thu Apr 21 00:04:59 2005 +0000 (2005-04-21)
parents 628d7ea9f439
children ba67e077b528
files xen/arch/ia64/vcpu.c
line diff
     1.1 --- a/xen/arch/ia64/vcpu.c	Wed Apr 20 18:13:40 2005 +0000
     1.2 +++ b/xen/arch/ia64/vcpu.c	Thu Apr 21 00:04:59 2005 +0000
     1.3 @@ -750,7 +750,8 @@ IA64FAULT vcpu_set_tpr(VCPU *vcpu, UINT6
     1.4  {
     1.5  	if (val & 0xff00) return IA64_RSVDREG_FAULT;
     1.6  	PSCB(vcpu,tpr) = val;
     1.7 -	//PSCB(vcpu,pending_interruption) = 1;
     1.8 +	if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR)
     1.9 +		PSCB(vcpu,pending_interruption) = 1;
    1.10  	return (IA64_NO_FAULT);
    1.11  }
    1.12  
    1.13 @@ -776,6 +777,8 @@ IA64FAULT vcpu_set_eoi(VCPU *vcpu, UINT6
    1.14  		// with interrupts disabled
    1.15  		printf("Trying to EOI interrupt with interrupts enabled\r\n");
    1.16  	}
    1.17 +	if (vcpu_check_pending_interrupts(vcpu) != SPURIOUS_VECTOR)
    1.18 +		PSCB(vcpu,pending_interruption) = 1;
    1.19  //printf("YYYYY vcpu_set_eoi: Successful\n");
    1.20  	return (IA64_NO_FAULT);
    1.21  }