Constant ZX_INFO_VMAR 

pub const ZX_INFO_VMAR: u32 = 7 /* 7u32 */;