392 struct ck_ec32 {  struct
397 typedef struct ck_ec32 ck_ec32_t;  argument
418 static void ck_ec32_init(struct ck_ec32 *ec, uint32_t value);
432 		  struct ck_ec32 : ck_ec32_init,	\
441 static uint32_t ck_ec32_value(const struct ck_ec32* ec);
455 		  struct ck_ec32 : ck_ec32_value,	\
464 static bool ck_ec32_has_waiters(const struct ck_ec32 *ec);
474 		  struct ck_ec32 : ck_ec32_has_waiters,	      \
483 static void ck_ec32_inc(struct ck_ec32 *ec, const struct ck_ec_mode *mode);
493 		  struct ck_ec32 : ck_ec32_inc,			\
502 static uint32_t ck_ec32_add(struct ck_ec32 *ec,
516 		  struct ck_ec32 : ck_ec32_add,				\
537 static int ck_ec32_wait(struct ck_ec32 *ec,
553 		  struct ck_ec32 : ck_ec32_wait,			\
570 static int ck_ec32_wait_pred(struct ck_ec32 *ec,
592 		  struct ck_ec32 : ck_ec32_wait_pred,			\
602 CK_CC_FORCE_INLINE void ck_ec32_init(struct ck_ec32 *ec, uint32_t value)  in ck_ec32_init()
608 CK_CC_FORCE_INLINE uint32_t ck_ec32_value(const struct ck_ec32 *ec)  in ck_ec32_value()
616 CK_CC_FORCE_INLINE bool ck_ec32_has_waiters(const struct ck_ec32 *ec)  in ck_ec32_has_waiters()
622 void ck_ec32_wake(struct ck_ec32 *ec, const struct ck_ec_ops *ops);
624 CK_CC_FORCE_INLINE void ck_ec32_inc(struct ck_ec32 *ec,  in ck_ec32_inc()
686 CK_CC_FORCE_INLINE uint32_t ck_ec32_add_epilogue(struct ck_ec32 *ec,  in ck_ec32_add_epilogue()
702 static CK_CC_INLINE uint32_t ck_ec32_add_mp(struct ck_ec32 *ec,  in ck_ec32_add_mp()
714 static CK_CC_INLINE uint32_t ck_ec32_add_sp(struct ck_ec32 *ec,  in ck_ec32_add_sp()
738 CK_CC_FORCE_INLINE uint32_t ck_ec32_add(struct ck_ec32 *ec,  in ck_ec32_add()
763 int ck_ec32_wait_slow(struct ck_ec32 *ec,
768 CK_CC_FORCE_INLINE int ck_ec32_wait(struct ck_ec32 *ec,  in ck_ec32_wait()
780 int ck_ec32_wait_pred_slow(struct ck_ec32 *ec,
789 ck_ec32_wait_pred(struct ck_ec32 *ec,  in ck_ec32_wait_pred()