-void Pulsecounter_base4_store(Pulsecounter_base4_t* const input) {
- base4 = *input - event4;
-}
-
-void Pulsecounter_base5_fetch(Pulsecounter_base5_t* const output) {
- *output = base5;
-}
-
-void Pulsecounter_base5_store(Pulsecounter_base5_t* const input) {
- base5 = *input - event5;