pub const ZX_INFO_VCPU: u32 = 32; // 32u32