group/pintos/src/threads/fixed-point.h
/* Returns fixed-point number corresponding to integer N. */
Returns fixed-point number corresponding to integer N.
Returns fixed - point number corresponding to integer N .
static inline fixed_point_t
fix_int (int n)
{
  ASSERT (n >= FIX_MIN_INT && n <= FIX_MAX_INT);
  return __mk_fix (n * FIX_F);
}
static inline fixed_point_t fix_int ( int n ) { ASSERT ( n >= FIX_MIN_INT && n <= FIX_MAX_INT ) ; return __mk_fix ( n * FIX_F ) ; }
Returns fixed-point number corresponding to integer N.
Returns fixed - point number corresponding to integer N .