RDRAND_INT 39 arch/x86/include/asm/archrandom.h # define RDRAND_LONG RDRAND_INT RDRAND_INT 102 arch/x86/include/asm/archrandom.h GET_RANDOM(arch_get_random_int, unsigned int, RDRAND_INT, ASM_NOP4); RDRAND_INT 110 arch/x86/include/asm/archrandom.h GET_RANDOM(arch_get_random_int, unsigned int, RDRAND_INT, ASM_NOP3);