src/ssx/ssx/ssx_core.c
/// If there is no timer support, then any call of the timer interrupt handler
/// is considered a fatal error.
If there is no timer support, then any call of the timer interrupt handler
is considered a fatal error.
If there is no timer support then any call of the timer interrupt handler is considered a fatal error .
void
__ssx_timer_handler()
{
    SSX_PANIC(SSX_NO_TIMER_SUPPORT);
}
void __ssx_timer_handler ( ) { SSX_PANIC ( SSX_NO_TIMER_SUPPORT ) ; }
If there is no timer support, then any call of the timer interrupt handler
is considered a fatal error.
If there is no timer support then any call of the timer interrupt handler is considered a fatal error .