Hi Hugo,
It has been long time since I implemented something like this so please refer to the following PDF:
C:\Freescale\Freescale_MQX_4_1_1\doc\mqx\MQX_Reference_Manual.pdf
Search for "_timer_start_" for various implementations.
Your implementation might want to use:
source\kernel\timer.c
#include <timer.h>
_timer_id _timer_start_oneshot_after(
TIMER_NOTIFICATION_TIME_FPTR notification_function,
void *notification_data_ptr,
_mqx_uint mode,
uint32_t milliseconds)
My example is from MQX3.8 so check that it matches current PDF:

Regards,
David