Constant ZX_RSRC_SYSTEM_VMEX_BASE 

pub const ZX_RSRC_SYSTEM_VMEX_BASE: u64 = 1 /* 1u64 */;