86
75
// noisy / bouncy switch (so the content of this function has been
87
76
// moved to a separate function, called from WDT only)
88
77
// PCINT_inner(button_is_pressed());
93
80
// should only be called from PCINT and/or WDT
94
81
// (is a separate function to reduce code duplication)
95
82
void PCINT_inner(uint8_t pressed) {