pub const ZX_OBJ_TYPE_VCPU: u32 = 21; // 21u32