warn_counter       74 drivers/misc/lkdtm/bugs.c static int warn_counter;
warn_counter       78 drivers/misc/lkdtm/bugs.c 	WARN_ON(++warn_counter);
warn_counter       83 drivers/misc/lkdtm/bugs.c 	WARN(1, "Warning message trigger count: %d\n", ++warn_counter);