Searched defs:a4_ (Results 1 – 3 of 3) sorted by relevance
38 long long a4_) in __syscall4()48 long long a4_, long long a5_) in __syscall5()59 long long a4_, long long a5_, long long a6_) in __syscall6()
521 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local
566 uint64_t a4_ = a4 - ((uint64_t)0x7ffffffffffffU & mask); in Hacl_EC_Format_fcontract_trim() local