55 uint128_increment(uint128_t *big_uintp)  in uint128_increment()  argument
58 	(*big_uintp)++;  in uint128_increment()
60 	big_uintp->u128t_word0++;  in uint128_increment()
61 	if (big_uintp->u128t_word0 == 0UL)  in uint128_increment()
62 		big_uintp->u128t_word1++;  in uint128_increment()
67 uint128_add64(uint128_t *big_uintp, uint64_t add)  in uint128_add64()  argument
70 	(*big_uintp) += add;  in uint128_add64()
74 	word0p = big_uintp->u128t_word0 + add;  in uint128_add64()
75 	if (word0p < big_uintp->u128t_word0)  in uint128_add64()
76 		big_uintp->u128t_word1++;  in uint128_add64()
77 	big_uintp->u128t_word0 = word0p;  in uint128_add64()