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