isr_evt_set problem?

I have seem some vague references to a potential problem using the isr_evt_set RTX function. I was told it may have been on this forum but can not find any specific info. The claim was that the call...
isr_evt_set problem

Hi, All! My problem is exactly the same as http://www.keil.com/forum/13634/ void UARTHandler (void) __irq { isr_evt_set(0x0001,UART_TASK); //use "os_evt_set" works } void task_UART_received...
isr_evt_set problem?

I have seem some vague references to a potential problem using the isr_evt_set RTX function. I was told it may have been on this forum but can not find any specific info. The claim was that the call...
isr_evt_set problem

Hi, All! My problem is exactly the same as http://www.keil.com/forum/13634/ void UARTHandler (void) __irq { isr_evt_set(0x0001,UART_TASK); //use "os_evt_set" works } void task_UART_received...
isr_evt_set() doesn't work

It is just a simple test. The timer will trigger a task every 20ms. But the led never becomes on. I have tried every method I can found but I still can't figure it out what wrong with it. Please help...