Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 2d3ddad in mainline for kernel/generic/src/mm/slab.c


Ignore:
Timestamp:
2010-06-08T21:08:44Z (11 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master
Children:
8f80c77
Parents:
c992538a
Message:

Add more *_locked() assertions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/mm/slab.c

    rc992538a r2d3ddad  
    405405/** Find full magazine, set it as current and return it
    406406 *
    407  * Assume cpu_magazine lock is held
    408  *
    409407 */
    410408static slab_magazine_t *get_full_current_mag(slab_cache_t *cache)
     
    412410        slab_magazine_t *cmag = cache->mag_cache[CPU->id].current;
    413411        slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
     412
     413        ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
    414414       
    415415        if (cmag) { /* First try local CPU magazines */
     
    467467 * or NULL if no empty magazine is available and cannot be allocated
    468468 *
    469  * Assume mag_cache[CPU->id].lock is held
    470  *
    471469 * We have 2 magazines bound to processor.
    472470 * First try the current.
     
    480478        slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
    481479       
     480        ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
     481
    482482        if (cmag) {
    483483                if (cmag->busy < cmag->size)
Note: See TracChangeset for help on using the changeset viewer.