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