33 _subborrow_u32 (unsigned char __CF, unsigned int __X,  in _subborrow_u32()  argument
36   return __builtin_ia32_sbb_u32 (__CF, __X, __Y, __P);  in _subborrow_u32()
41 _addcarry_u32 (unsigned char __CF, unsigned int __X,  in _addcarry_u32()  argument
44   return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P);  in _addcarry_u32()
49 _addcarryx_u32 (unsigned char __CF, unsigned int __X,  in _addcarryx_u32()  argument
52   return __builtin_ia32_addcarryx_u32 (__CF, __X, __Y, __P);  in _addcarryx_u32()
58 _subborrow_u64 (unsigned char __CF, unsigned long long __X,  in _subborrow_u64()  argument
61   return __builtin_ia32_sbb_u64 (__CF, __X, __Y, __P);  in _subborrow_u64()
66 _addcarry_u64 (unsigned char __CF, unsigned long long __X,  in _addcarry_u64()  argument
69   return __builtin_ia32_addcarryx_u64 (__CF, __X, __Y, __P);  in _addcarry_u64()
74 _addcarryx_u64 (unsigned char __CF, unsigned long long __X,  in _addcarryx_u64()  argument
77   return __builtin_ia32_addcarryx_u64 (__CF, __X, __Y, __P);  in _addcarryx_u64()