Constant ACPI_MADT_FLAG_ENABLED 

pub const ACPI_MADT_FLAG_ENABLED: u32 = 0x1;