return X86EMUL_OKAY;
}
- vpic = ¤t->domain->arch.hvm.vpic[port >> 7];
+ vpic = ¤t->domain->arch.hvm.vpic[!!(port & 0x80)];
if ( dir == IOREQ_WRITE )
vpic_ioport_write(vpic, port, (uint8_t)*val);
void vpic_irq_positive_edge(struct domain *d, int irq)
{
- struct hvm_hw_vpic *vpic = &d->arch.hvm.vpic[irq >> 3];
+ struct hvm_hw_vpic *vpic = &d->arch.hvm.vpic[!!(irq & 8)];
uint8_t mask = 1 << (irq & 7);
ASSERT(has_vpic(d));
void vpic_irq_negative_edge(struct domain *d, int irq)
{
- struct hvm_hw_vpic *vpic = &d->arch.hvm.vpic[irq >> 3];
+ struct hvm_hw_vpic *vpic = &d->arch.hvm.vpic[!!(irq & 8)];
uint8_t mask = 1 << (irq & 7);
ASSERT(has_vpic(d));