group/pintos/src/lib/kernel/bitmap.c
/* Atomically sets the bit numbered IDX in B to VALUE. */
Atomically sets the bit numbered IDX in B to VALUE.
Atomically sets the bit numbered IDX in B to VALUE .
void
bitmap_set (struct bitmap *b, size_t idx, bool value)
{
  ASSERT (b != NULL);
  ASSERT (idx < b->bit_cnt);
  if (value)
    bitmap_mark (b, idx);
  else
    bitmap_reset (b, idx);
}
void bitmap_set ( struct bitmap * b , size_t idx , bool value ) { ASSERT ( b != NULL ) ; ASSERT ( idx < b -> bit_cnt ) ; if ( value ) bitmap_mark ( b , idx ) ; else bitmap_reset ( b , idx ) ; }
Atomically sets the bit numbered IDX in B to VALUE.
Atomically sets the bit numbered IDX in B to VALUE .