arch_get_random_seed_int  105 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_int, unsigned int, RDSEED_INT, ASM_NOP4);
arch_get_random_seed_int  113 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_int, unsigned int, RDSEED_INT, ASM_NOP4);