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