Searched refs:rdl_num_atoms (Results 1 – 2 of 2) sorted by relevance
821 static inline uint32_t rdl_num_atoms(rdl_solver_t *solver) { in rdl_num_atoms() function
1634 print_string_and_uint32(fd, b, " :rdl-solver-atoms ", rdl_num_atoms(solver)); in show_rdl_fw_stats()