Searched defs:uint128_add64 (Results 1 – 2 of 2) sorted by relevance
67 uint128_add64(uint128_t *big_uintp, uint64_t add) in uint128_add64() function
153 ATF_TC_BODY(uint128_add64, tc) in ATF_TC_BODY() argument