Searched refs:rdrand (Results 1 – 3 of 3) sorted by relevance
291 rsvd_bits = (rdrand() << low) & GENMASK_ULL(hi, low); in get_random_bits()
794 double tsc_scale = (double)(rdrand() % 100 + 1) / 10; in svm_tsc_scale_test()795 int duration = rdrand() % 50 + 1; in svm_tsc_scale_test()796 u64 tsc_offset = rdrand(); in svm_tsc_scale_test()804 svm_tsc_scale_run_testcase(50, 255, rdrand()); in svm_tsc_scale_test()805 svm_tsc_scale_run_testcase(50, 0.0001, rdrand()); in svm_tsc_scale_test()
787 static inline unsigned long long rdrand(void) in rdrand() function