Constant VMAR_FLAG_OFFSET_IS_UPPER_LIMIT 

pub const VMAR_FLAG_OFFSET_IS_UPPER_LIMIT: u32 = 512;