test_icount.h revision 521e36857227b21e7ab47b0a97f788d2af9f9717 
1void do_create_icount(int argc, char **argv);
2void do_free_icount(int argc, char **argv);
3void do_fetch(int argc, char **argv);
4void do_increment(int argc, char **argv);
5void do_decrement(int argc, char **argv);
6void do_store(int argc, char **argv);
7void do_get_size(int argc, char **argv);
8