394 	uint32_t counter;  member
406 	uint64_t counter;  member
412 #define CK_EC_INITIALIZER { .counter = 0 }
604 	ec->counter = value & ~(1UL << 31);  in ck_ec32_init()
610 	uint32_t ret = ck_pr_load_32(&ec->counter) & ~(1UL << 31);  in ck_ec32_value()
618 	return ck_pr_load_32(&ec->counter) & (1UL << 31);  in ck_ec32_has_waiters()
660 			 : "+m"(ec->counter), "=@ccle"(flagged)	 \  in ck_ec32_inc()
665 			 : "+m"(ec->counter), "=r"(flagged)		\  in ck_ec32_inc()
709 	old = ck_pr_faa_32(&ec->counter, delta);  in ck_ec32_add_mp()
732 			 : "+m"(ec->counter), "+r"(old)  in ck_ec32_add_sp()
808 	ec->counter = value << 1;  in ck_ec64_init()
814 	uint64_t ret = ck_pr_load_64(&ec->counter) >> 1;  in ck_ec64_value()
822 	return ck_pr_load_64(&ec->counter) & 1;  in ck_ec64_has_waiters()
855 	return ck_ec_add64_epilogue(ec, mode, ck_pr_faa_64(&ec->counter, inc));  in ck_ec64_add_mp()
878 			 : "+m"(ec->counter), "+r"(old)  in ck_ec64_add_sp()