Constant ACPI_MADT_FLAG_TRIGGER_MASK 

pub const ACPI_MADT_FLAG_TRIGGER_MASK: u16 = 0b1100;