-void Pulsecounter_event4_fetch(Pulsecounter_event4_t* const output) {
- *output = base4 + event4;
-}
-
-void Pulsecounter_event5_fetch(Pulsecounter_event5_t* const output) {
- *output = base5 + event5;
-}
-
-void Pulsecounter_base4_fetch(Pulsecounter_base4_t* const output) {
- *output = base4;