extra/random/rdrand/rdrand.factor

   1 ! Copyright (C) 2013 John Benediktsson
   2 ! See https://factorcode.org/license.txt for BSD license
   3
   4 USING: cpu.x86.features kernel random ;
   5
   6 IN: random.rdrand
   7
   8 SINGLETON: rdrand
   9
  10 M: rdrand random-32* drop rdrand32 ;
  11
  12 : with-rdrand ( quot -- )
  13     [ rdrand ] dip with-random ; inline