1 void do_create_icount(int argc, char **argv, int sci_idx, void *infop);
2 void do_free_icount(int argc, char **argv, int sci_idx, void *infop);
3 void do_fetch(int argc, char **argv, int sci_idx, void *infop);
4 void do_increment(int argc, char **argv, int sci_idx, void *infop);
5 void do_decrement(int argc, char **argv, int sci_idx, void *infop);
6 void do_store(int argc, char **argv, int sci_idx, void *infop);
7 void do_get_size(int argc, char **argv, int sci_idx, void *infop);
8 void do_dump(int argc, char **argv, int sci_idx, void *infop);
9 void do_validate(int argc, char **argv, int sci_idx, void *infop);
10 
11