Searched refs:RDRAND_INT (Results 1 – 1 of 1) sorted by relevance
33 #define RDRAND_INT ".byte 0x0f,0xc7,0xf0" macro37 # define RDRAND_LONG RDRAND_INT62 GET_RANDOM(arch_get_random_int, unsigned int, RDRAND_INT, ASM_NOP4);67 GET_RANDOM(arch_get_random_int, unsigned int, RDRAND_INT, ASM_NOP3);