Changeset 2d3ddad in mainline for kernel/generic/src/proc/scheduler.c


Ignore:
Timestamp:
2010-06-08T21:08:44Z (14 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
8f80c77
Parents:
c992538a
Message:

Add more *_locked() assertions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/proc/scheduler.c

    rc992538a r2d3ddad  
    379379 * switch to a new thread.
    380380 *
    381  * Assume THREAD->lock is held.
    382  *
    383381 */
    384382void scheduler_separated_stack(void)
     
    388386        as_t *old_as = AS;
    389387       
     388        ASSERT(!THREAD || irq_spinlock_locked(&THREAD->lock));
    390389        ASSERT(CPU != NULL);
    391390       
Note: See TracChangeset for help on using the changeset viewer.