Alan,
The application has been running for 4 days now and I haven't seen a failure. I wonder if the System_printfs are preventing the failure. Any ideas on this?
Is there a less intrusive way to do more logging in GateMutexPri_enter instead of System_printf?