base/dispatch.c, etc.: Replace inline assembler for the `rdrand' fix.
[catacomb] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 4 format