Searched refs:rdl_trail_stack_t (Results 1 – 2 of 2) sorted by relevance
366 } rdl_trail_stack_t; typedef425 rdl_trail_stack_t trail_stack;
1302 static void init_rdl_trail_stack(rdl_trail_stack_t *stack) { in init_rdl_trail_stack()1314 static void rdl_trail_stack_save(rdl_trail_stack_t *stack, uint32_t nv, uint32_t na) { in rdl_trail_stack_save()1341 static inline rdl_trail_t *rdl_trail_stack_top(rdl_trail_stack_t *stack) { in rdl_trail_stack_top()1350 static inline void rdl_trail_stack_pop(rdl_trail_stack_t *stack) { in rdl_trail_stack_pop()1359 static inline void reset_rdl_trail_stack(rdl_trail_stack_t *stack) { in reset_rdl_trail_stack()1367 static inline void delete_rdl_trail_stack(rdl_trail_stack_t *stack) { in delete_rdl_trail_stack()