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