Searched refs:ctr64 (Results 1 – 1 of 1) sorted by relevance
53 uint64_t *ctr64 = (uint64_t *)ctr; in ctr_inc() local55 *ctr64 = __builtin_bswap64(*ctr64); in ctr_inc()56 (*ctr64)++; in ctr_inc()57 *ctr64 = __builtin_bswap64(*ctr64); in ctr_inc()