A question about IOAPIC interrupt input polarity in Pistachio

Hi all,
In file `kernel/src/platform/generic/intctrl-apic.cc' line 303, 304,

--code--
entry->polarity =
 (p->get_polarity() == acpi_madt_irq_t::active_high) ? 1 : 0;
--code--

this set the polarity of the entry to `1' if the interrupt is active_high,
but according to 82093 datasheet P12, if the interrupt is `active high'
this bit should be `0'.

Did I miss something or this is a bug?
Thanks

Regards,
MingyanGuo
-- 
Three passions, simple but overwhelmingly strong, have governed my life:
the longing for love, the search for knowledge, and unbearable pity for
the suffering of mankind.
                         ---------Bertrand Russell