static uint32_t _ARMV7M_TC_systick_get_timecount(struct timecounter *tc) { return rtems_timecounter_simple_downcounter_get( tc, _ARMV7M_TC_systick_get, _ARMV7M_TC_systick_is_pending ); }
static uint32_t mpc55xx_tc_get_timecount(struct timecounter *tc) { return rtems_timecounter_simple_downcounter_get( tc, mpc55xx_tc_get, mpc55xx_tc_is_pending ); }