group/pintos/src/threads/fixed-point.h
/* Returns a fixed-point number with F as its internal value. */
Returns a fixed-point number with F as its internal value.
Returns a fixed - point number with F as its internal value .
static inline fixed_point_t
__mk_fix (int f)
{
  fixed_point_t x;
  x.f = f;
  return x;
}
static inline fixed_point_t __mk_fix ( int f ) { fixed_point_t x ; x . f = f ; return x ; }
Returns a fixed-point number with F as its internal value.
Returns a fixed - point number with F as its internal value .