Lines Matching refs:check
105 struct ftmn_check check; member
222 unsigned long ___ftmn_return_res(struct ftmn_check *check, unsigned long steps,
224 void ___ftmn_expect_state(struct ftmn_check *check, enum ftmn_incr incr,
237 struct ftmn_check *check, enum ftmn_incr incr,
243 void ___ftmn_set_check_res(struct ftmn_check *check, enum ftmn_incr incr,
245 void ___ftmn_set_check_res_not_zero(struct ftmn_check *check,
248 void ___ftmn_set_check_res_memcmp(struct ftmn_check *check, enum ftmn_incr incr,
252 void ___ftmn_copy_linked_call_res(struct ftmn_check *check, enum ftmn_incr incr,
314 ___ftmn_copy_linked_call_res(&f->check, incr, &f->arg, res); in __ftmn_copy_linked_call_res()
363 &ftmn->check, incr, steps, res); in __ftmn_callee_done_check()
377 ___ftmn_set_check_res(&ftmn->check, incr, res); in __ftmn_set_check_res()
385 ___ftmn_set_check_res_not_zero(&ftmn->check, incr, res); in __ftmn_set_check_res_not_zero()
609 ___ftmn_set_check_res_memcmp(&ftmn->check, incr, res, in ftmn_set_check_res_memcmp()
643 ftmn->check.steps += incr; in ftmn_checkpoint()
664 assert((ftmn->check.res ^ FTMN_DEFAULT_HASH) == res); in ftmn_expect_state()
665 assert(ftmn->check.steps == steps); in ftmn_expect_state()
667 ___ftmn_expect_state(&ftmn->check, incr, steps, res); in ftmn_expect_state()
693 assert((ftmn->check.res ^ FTMN_DEFAULT_HASH) == res); in ftmn_return_res()
694 assert(ftmn->check.steps == steps); in ftmn_return_res()
696 return ___ftmn_return_res(&ftmn->check, steps, res); in ftmn_return_res()