others/fw-verif/demo-system/fwsrc/main.c
/* Firmware entries
   master firmware, slave firmware, and slave interrupt handler
*/
Firmware entries
master firmware, slave firmware, and slave interrupt handler
Firmware entries master firmware slave firmware and slave interrupt handler
void* entryMst (void* in) {
#ifdef CTX_LOCK
#ifdef MUTEX
    pthread_mutex_lock (&ctx_lock);
#else 
    __VERIFIER_atomic_begin ();
#endif 
#endif 
    mainMst ();
    mstCpl = 1;
#ifdef CTX_LOCK
#ifdef MUTEX
    pthread_mutex_unlock (&ctx_lock);
#else 
    __VERIFIER_atomic_end ();
#endif 
#endif 
    return in;
}
void * entryMst ( void * in ) { #ifdef CTX_LOCK #ifdef MUTEX pthread_mutex_lock ( & ctx_lock ) ; #else __VERIFIER_atomic_begin ( ) ; #endif #endif mainMst ( ) ; mstCpl = 1 ; #ifdef CTX_LOCK #ifdef MUTEX pthread_mutex_unlock ( & ctx_lock ) ; #else __VERIFIER_atomic_end ( ) ; #endif #endif return in ; }
Firmware entries
master firmware, slave firmware, and slave interrupt handler
Firmware entries master firmware slave firmware and slave interrupt handler
// MUTEX // MUTEX // CTX_LOCK // MUTEX // MUTEX // CTX_LOCK