I am using Qnx 6.2 on 2 CPU system. Once in a while one of the CPUs end up looping in smp_flush_tlb() for "tlb_flush_cnt
" to go zero. The idle() thread is running on other CPU. Has anyone seen this type of problem before or has any idea 
whats causing this?

In recent versions, I don't see any synchronization between CPUs when IPI_TLB_FLUSH is issued. Can we assume that TLBs 
are flushed?

Thanks for your help,
Prasad