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)