/** Set the timer so that it calls an user hook when it expires */
INLINE void timer_setSoftint(Timer *timer, Hook func, iptr_t user_data)
{
/** Set the timer so that it calls an user hook when it expires */
INLINE void timer_setSoftint(Timer *timer, Hook func, iptr_t user_data)
{