Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/concurrency/kernel_private.hfa

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