Hi,
I thik the following panic_domain in guest_write_eoi() is not necessary,
because ia64_eoi() in linux is called without checikng in-service.
515 void guest_write_eoi(VCPU *vcpu)
516 {
517 int vec;
518
519 vec = highest_inservice_irq(vcpu);
520 if ( vec == NULL_VECTOR )
On Tue, 2007-10-09 at 23:07 +0900, Akio Takebe wrote:
Hi,
I thik the following panic_domain in guest_write_eoi() is not necessary,
because ia64_eoi() in linux is called without checikng in-service.
515 void guest_write_eoi(VCPU *vcpu)
516 {
517 int vec;
518
519 vec =