We are posting a signal using isr_send_signal() from an isr at priority level 14. When the interrupt is being triggered repeatably an error condition eventually occurs in which the signal does not reach its destination task. Using hooks we have determined that the problem is an imbalance of the isr signal queue counters.
We are using the older RTX166 OS v4.00. If anyone could provide some insight it would be greatly appreciated.