Constant ACPI_MADT_FLAG_TRIGGER_EDGE 

pub const ACPI_MADT_FLAG_TRIGGER_EDGE: u16 = 0b0100;