group/pintos/src/threads/thread.c
/* Sets the current thread's nice value to NICE. */
Sets the current thread's nice value to NICE.
Sets the current thread ' s nice value to NICE .
void
thread_set_nice (int nice)
{
    thread_current()->nice = nice;
}
void thread_set_nice ( int nice ) { thread_current ( ) -> nice = nice ; }
Sets the current thread's nice value to NICE.
Sets the current thread ' s nice value to NICE .