i386/ucla/src/lab4/kern/sched.h

   1 /* See COPYRIGHT for copyright information. */
   2
   3 #ifndef JOS_KERN_SCHED_H
   4 #define JOS_KERN_SCHED_H
   5 #ifndef JOS_KERNEL
   6 # error "This is a JOS kernel header; user programs should not #include it"
   7 #endif
   8
   9 // This function does not return.
  10 void sched_yield(void) __attribute__((noreturn));
  11
  12 #endif  // !JOS_KERN_SCHED_H