voici le code disponible dans la DOC de TIGCC

OSFreeTimer (USER_TIMER);
OSRegisterTimer (USER_TIMER, 5*20);
while ( ! OSTimerExpired (USER_TIMER));

Tu remarqueras le point d'exclamation au debut de la condtion dans le Test du While