diff options
Diffstat (limited to 'gcc/config/i386/rdseedintrin.h')
| -rw-r--r-- | gcc/config/i386/rdseedintrin.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/config/i386/rdseedintrin.h b/gcc/config/i386/rdseedintrin.h index 5af5eac4ad8..57b45155f1a 100644 --- a/gcc/config/i386/rdseedintrin.h +++ b/gcc/config/i386/rdseedintrin.h @@ -37,24 +37,24 @@ extern __inline int __attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed16_step (unsigned short *p) +_rdseed16_step (unsigned short *__p) { - return __builtin_ia32_rdseed_hi_step (p); + return __builtin_ia32_rdseed_hi_step (__p); } extern __inline int __attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed32_step (unsigned int *p) +_rdseed32_step (unsigned int *__p) { - return __builtin_ia32_rdseed_si_step (p); + return __builtin_ia32_rdseed_si_step (__p); } #ifdef __x86_64__ extern __inline int __attribute__((__gnu_inline__, __always_inline__, __artificial__)) -_rdseed64_step (unsigned long long *p) +_rdseed64_step (unsigned long long *__p) { - return __builtin_ia32_rdseed_di_step (p); + return __builtin_ia32_rdseed_di_step (__p); } #endif |