Searched refs:totalcnt (Results 1 – 1 of 1) sorted by relevance
584 int totalcnt = 0; in main() local589 totalcnt += cancel_count[j]; in main()592 totalcnt += speculation_start; in main()593 printf(" for a total of %d\n", totalcnt); in main()602 int totalcnt = 0; in main() local607 totalcnt += extra_count[j]; in main()610 totalcnt += speculation_start; in main()611 printf(" for a total of %d\n", totalcnt); in main()