36 _addcarryx_u32(unsigned char __cf, unsigned int __x, unsigned int __y,  in _addcarryx_u32()  argument
39   return __builtin_ia32_addcarryx_u32(__cf, __x, __y, __p);  in _addcarryx_u32()
44 _addcarryx_u64(unsigned char __cf, unsigned long long __x,  in _addcarryx_u64()  argument
47   return __builtin_ia32_addcarryx_u64(__cf, __x, __y, __p);  in _addcarryx_u64()
53 _addcarry_u32(unsigned char __cf, unsigned int __x, unsigned int __y,  in _addcarry_u32()  argument
56   return __builtin_ia32_addcarry_u32(__cf, __x, __y, __p);  in _addcarry_u32()
61 _addcarry_u64(unsigned char __cf, unsigned long long __x,  in _addcarry_u64()  argument
64   return __builtin_ia32_addcarry_u64(__cf, __x, __y, __p);  in _addcarry_u64()
69 _subborrow_u32(unsigned char __cf, unsigned int __x, unsigned int __y,  in _subborrow_u32()  argument
72   return __builtin_ia32_subborrow_u32(__cf, __x, __y, __p);  in _subborrow_u32()
77 _subborrow_u64(unsigned char __cf, unsigned long long __x,  in _subborrow_u64()  argument
80   return __builtin_ia32_subborrow_u64(__cf, __x, __y, __p);  in _subborrow_u64()