Constant VMAR_FLAG_ALLOW_FAULTS 

pub const VMAR_FLAG_ALLOW_FAULTS: u32 = 256;