Lines Matching refs:k
83 uint64_t k = 1 + php_random_range64(engine, hi - 1); /* [1, hi] */ in php_random_gammasection_closed_open() local
86 if (k == hi) { in php_random_gammasection_closed_open()
90 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_closed_open()
96 splitint64(k - 1, &k_hi, &k_lo); in php_random_gammasection_closed_open()
111 uint64_t k = php_random_range64(engine, hi); /* [0, hi] */ in php_random_gammasection_closed_closed() local
114 if (k == hi) { in php_random_gammasection_closed_closed()
118 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_closed_closed()
123 if (k == hi) { in php_random_gammasection_closed_closed()
127 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_closed_closed()
143 uint64_t k = php_random_range64(engine, hi - 1); /* [0, hi - 1] */ in php_random_gammasection_open_closed() local
147 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_open_closed()
151 if (k == (hi - 1)) { in php_random_gammasection_open_closed()
155 splitint64(k + 1, &k_hi, &k_lo); in php_random_gammasection_open_closed()
171 uint64_t k = 1 + php_random_range64(engine, hi - 2); /* [1, hi - 1] */ in php_random_gammasection_open_open() local
175 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_open_open()
180 splitint64(k, &k_hi, &k_lo); in php_random_gammasection_open_open()
