ck_ec32_add ( struct ck_ec32* ec, struct ck_ec_mode const* mode, uint32_t delta )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
ck_ec32_inc ( struct ck_ec32* ec, struct ck_ec_mode const* mode )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
ck_ec64_add ( struct ck_ec64* ec, struct ck_ec_mode const* mode, uint64_t delta )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
ck_ec64_inc ( struct ck_ec64* ec, struct ck_ec_mode const* mode )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
ck_ec32_wait ( struct ck_ec32* ec, struct ck_ec_mode const* mode, uint32_t old_value, struct timespec const* deadline )
4th parameter 'deadline' (pointer) has base type 'struct timespec'.
ck_ec32_wake ( struct ck_ec32* ec, struct ck_ec_ops const* ops )
Field 'ops.gettime.p1' in 2nd parameter 'ops' (pointer) has base type 'struct timespec'.
ck_ec64_wait ( struct ck_ec64* ec, struct ck_ec_mode const* mode, uint64_t old_value, struct timespec const* deadline )
4th parameter 'deadline' (pointer) has base type 'struct timespec'.
ck_ec64_wake ( struct ck_ec64* ec, struct ck_ec_ops const* ops )
Field 'ops.gettime.p1' in 2nd parameter 'ops' (pointer) has base type 'struct timespec'.
ck_ec32_add_mp ( struct ck_ec32* ec, struct ck_ec_mode const* mode, uint32_t delta )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
ck_ec64_add_mp ( struct ck_ec64* ec, struct ck_ec_mode const* mode, uint64_t delta )
Field 'mode.ops.gettime.p1' in 2nd parameter 'mode' (pointer) has base type 'struct timespec'.
...