You can set an interrupt timer from any driver execution context. Each interrupt timer is identified by a timer ID:
typedef KernelID TimerID;
IMPORTANT
Interrupt timers consume memory resources from the time they are invoked until the time they expire or are canceled. They do this regardless of the execution context (see Device Driver Execution Contexts ). You should make every attempt to limit the number of interrupt timers because the memory resources available to them are limited.