Ignore:
Timestamp:
Mar 30, 2022, 4:40:11 PM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
Children:
4ccc150
Parents:
efa28d5
Message:

Added more verifys to eventfd_write

File:
1 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/concurrency/kernel.cfa

    refa28d5 r77adaee  
    659659                // If the processor was ready to sleep, we need to wake it up with an actual write
    660660                val = 1;
    661                 eventfd_write( fd, val );
     661                __attribute__((unused)) int ret = eventfd_write( fd, val );
     662                /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
    662663
    663664                #if !defined(__CFA_NO_STATISTICS__)
Note: See TracChangeset for help on using the changeset viewer.