group/pintos/src/lib/kernel/bitmap.c
/* Returns the index of the element that contains the bit
   numbered BIT_IDX. */
Returns the index of the element that contains the bit
numbered BIT_IDX.
Returns the index of the element that contains the bit numbered BIT_IDX .
static inline size_t
elem_idx (size_t bit_idx)
{
  return bit_idx / ELEM_BITS;
}
static inline size_t elem_idx ( size_t bit_idx ) { return bit_idx / ELEM_BITS ; }
Returns the index of the element that contains the bit
numbered BIT_IDX.
Returns the index of the element that contains the bit numbered BIT_IDX .