Constant ACPI_MADT_FLAG_POLARITY_HIGH 

pub const ACPI_MADT_FLAG_POLARITY_HIGH: u16 = 0b01;