Lines Matching defs:u32Seed
242 RTDECL(int) RTPRandInit(PRNDCTX pCtx, uint32_t u32Seed)
244 if (u32Seed == 0)
245 u32Seed = (uint32_t)(ASMReadTSC() >> 8);
247 if (u32Seed == 0)
248 u32Seed = 362436069;
249 pCtx->x = u32Seed;
255 pCtx->u32y = u32Seed;
351 static void initializeRandomGenerator(PRNDCTX pCtx, uint32_t u32Seed)
353 int rc = RTPRandInit(pCtx, u32Seed);
497 uint32_t u32Seed)
573 initializeRandomGenerator(&ctx, u32Seed);
621 uint32_t u32Seed)
677 initializeRandomGenerator(&ctx, u32Seed);
848 uint32_t u32Seed = 0; // Means choose random
851 if (sscanf(argv[1], "%x", &u32Seed) != 1)
982 rc = tstVDOpenCreateWriteMerge("VDI", "tmpVDBase.vdi", "tmpVDDiff.vdi", u32Seed);
988 rc = tstVDOpenCreateWriteMerge("VDI", "tmpVDBase.vdi", "tmpVDDiff.vdi", u32Seed);
996 rc = tstVDOpenCreateWriteMerge("VMDK", "tmpVDBase.vmdk", "tmpVDDiff.vmdk", u32Seed);
1002 rc = tstVDOpenCreateWriteMerge("VMDK", "tmpVDBase.vmdk", "tmpVDDiff.vmdk", u32Seed);
1010 rc = tstVDCreateWriteOpenRead("VHD", "tmpVDCreate.vhd", u32Seed);
1017 rc = tstVDOpenCreateWriteMerge("VHD", "tmpVDBase.vhd", "tmpVDDiff.vhd", u32Seed);