104 struct ftmn {  struct
284 static inline void __ftmn_push_linked_call(struct ftmn *ftmn,  in __ftmn_push_linked_call()  argument
291 		ftmn->arg_pp = arg_pp;  in __ftmn_push_linked_call()
292 		ftmn->my_hash = my_hash;  in __ftmn_push_linked_call()
293 		ftmn->called_hash = called_hash;  in __ftmn_push_linked_call()
294 		ftmn->saved_arg = *ftmn->arg_pp;  in __ftmn_push_linked_call()
295 		*ftmn->arg_pp = &ftmn->arg;  in __ftmn_push_linked_call()
296 		ftmn->arg.hash = my_hash;  in __ftmn_push_linked_call()
300 static inline void __ftmn_pop_linked_call(struct ftmn *ftmn)  in __ftmn_pop_linked_call()  argument
302 	if (ftmn->arg_pp)  in __ftmn_pop_linked_call()
303 		*ftmn->arg_pp = ftmn->saved_arg;  in __ftmn_pop_linked_call()
306 static inline void __ftmn_copy_linked_call_res(struct ftmn *f,  in __ftmn_copy_linked_call_res()
355 static inline void __ftmn_callee_done_check(struct ftmn *ftmn,  in __ftmn_callee_done_check()  argument
363 					  &ftmn->check, incr, steps, res);  in __ftmn_callee_done_check()
373 static inline void __ftmn_set_check_res(struct ftmn *ftmn, enum ftmn_incr incr,  in __ftmn_set_check_res()  argument
377 		___ftmn_set_check_res(&ftmn->check, incr, res);  in __ftmn_set_check_res()
380 static inline void __ftmn_set_check_res_not_zero(struct ftmn *ftmn,  in __ftmn_set_check_res_not_zero()  argument
385 		___ftmn_set_check_res_not_zero(&ftmn->check, incr, res);  in __ftmn_set_check_res_not_zero()
413 #define FTMN_PUSH_LINKED_CALL(ftmn, called_func_hash) \  argument
414 	__ftmn_push_linked_call((ftmn), FTMN_FUNC_HASH(__func__), \
429 #define FTMN_SET_CHECK_RES_FROM_CALL(ftmn, incr, res) \  argument
430 	__ftmn_copy_linked_call_res((ftmn), (incr), (res))
438 #define FTMN_POP_LINKED_CALL(ftmn) __ftmn_pop_linked_call((ftmn))  argument
457 #define FTMN_CALL_FUNC(res, ftmn, incr, func, ...) \  argument
459 		FTMN_PUSH_LINKED_CALL((ftmn), FTMN_FUNC_HASH(#func)); \
461 		FTMN_SET_CHECK_RES_FROM_CALL((ftmn), (incr), (res)); \
462 		FTMN_POP_LINKED_CALL((ftmn)); \
513 #define FTMN_CALLEE_DONE_CHECK(ftmn, incr, exp_steps, res) \  argument
514 	__ftmn_callee_done_check((ftmn), FTMN_FUNC_HASH(__func__), \
581 #define FTMN_SET_CHECK_RES(ftmn, incr, res) \  argument
582 	__ftmn_set_check_res((ftmn), (incr), (res))
597 #define FTMN_SET_CHECK_RES_NOT_ZERO(ftmn, incr, res) \  argument
598 	__ftmn_set_check_res_not_zero((ftmn), (incr), (res))
600 static inline int ftmn_set_check_res_memcmp(struct ftmn *ftmn,  in ftmn_set_check_res_memcmp()  argument
609 		___ftmn_set_check_res_memcmp(&ftmn->check, incr, res,  in ftmn_set_check_res_memcmp()
634 static inline void ftmn_checkpoint(struct ftmn *ftmn, enum ftmn_incr incr)  in ftmn_checkpoint()  argument
643 		ftmn->check.steps += incr;  in ftmn_checkpoint()
659 static inline void ftmn_expect_state(struct ftmn *ftmn,  in ftmn_expect_state()  argument
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()
682 static inline unsigned long ftmn_return_res(struct ftmn *ftmn,  in ftmn_return_res()  argument
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()