Hi, So on uniprocessor can we assume that a thread calling _CORE_mutex_Seize_body or _CORE_mutex_Surrender never gets preempted or interleaved as if it holds a global lock. Whcih means that we can create a JPF model for same using global lock.
Thanks, Saurabh Gadia
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
