GET_SEED          104 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_long, unsigned long, RDSEED_LONG, ASM_NOP5);
GET_SEED          105 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_int, unsigned int, RDSEED_INT, ASM_NOP4);
GET_SEED          112 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_long, unsigned long, RDSEED_LONG, ASM_NOP4);
GET_SEED          113 arch/x86/include/asm/archrandom.h GET_SEED(arch_get_random_seed_int, unsigned int, RDSEED_INT, ASM_NOP4);