213 } MaskNode;  typedef
260 static MaskNode *optimize_v_hard(eqdeg_t *eq, int v, MaskNode *prev);
263 static void delete_MaskNodes(MaskNode *head);
264 static MaskNode *delete_lower_MaskNodes(MaskNode *head, int l);
265 static MaskNode *cons_MaskNode(MaskNode *head, uint32_t b, uint32_t c, int leng);
285     MaskNode mn0, *cur, *next;  in _get_tempering_parameter_hard_dc()
377 static MaskNode *optimize_v_hard(eqdeg_t *eq, int v, MaskNode *prev_masks)  in optimize_v_hard()
381     MaskNode *cur_masks;  in optimize_v_hard()
678 static MaskNode *cons_MaskNode(MaskNode *head, uint32_t b, uint32_t c, int leng)  in cons_MaskNode()
680     MaskNode *t;  in cons_MaskNode()
682     t = (MaskNode*)malloc(sizeof(MaskNode));  in cons_MaskNode()
696 static void delete_MaskNodes(MaskNode *head)  in delete_MaskNodes()
698     MaskNode *t;  in delete_MaskNodes()
707 static MaskNode *delete_lower_MaskNodes(MaskNode *head, int l)  in delete_lower_MaskNodes()
709     MaskNode *s, *t, *tail;  in delete_lower_MaskNodes()