Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/concurrency/kernel_private.hfa

    r47746a2 refc171d1  
    3636}
    3737
    38 void __schedule_thread( struct __processor_id_t *, $thread * ) __attribute__((nonnull (2)));
     38void __schedule_thread( struct __processor_id_t *, $thread * )
     39#if defined(NDEBUG) || (!defined(__CFA_DEBUG__) && !defined(__CFA_VERIFY__))
     40        __attribute__((nonnull (2)))
     41#endif
     42;
    3943
    4044//Block current thread and release/wake-up the following resources
Note: See TracChangeset for help on using the changeset viewer.