reboot_count       38 drivers/char/nwbutton.c static int reboot_count = NUM_PRESSES_REBOOT; /* Number of presses to reboot */
reboot_count      134 drivers/char/nwbutton.c 	    button_press_count == reboot_count)