[ixp1200] inter_thread signals

Hi all, While trying to debug the transmit code (in microC) for Gigabit ports on ENP2506 board, i realized that the threads are not able to send or receive or both the inter_thread signal, i.e. a ctx_wait(inter_thread) instruction will wait forever. In simulation mode with DevWorkBench, the same code works fine. Did anyone encounter this before? Also, how can I check if a signal is sent? Thanks, Chompi