group/pintos/src/threads/fixed-point.h
/* Returns X rounded to the nearest integer. */
Returns X rounded to the nearest integer.
Returns X rounded to the nearest integer .
static inline int
fix_round (fixed_point_t x)
{
  return (x.f + FIX_F / 2) / FIX_F;
}
static inline int fix_round ( fixed_point_t x ) { return ( x . f + FIX_F / 2 ) / FIX_F ; }
Returns X rounded to the nearest integer.
Returns X rounded to the nearest integer .