Constant ACPI_MADT_FLAG_TRIGGER_LEVEL 

pub const ACPI_MADT_FLAG_TRIGGER_LEVEL: u16 = 0b1100;