smp_call_function's wait is split out
[akaros.git] / kern / sched.h
1 /* See COPYRIGHT for copyright information. */
2
3 #ifndef ROS_KERN_SCHED_H
4 #define ROS_KERN_SCHED_H
5 #ifndef ROS_KERNEL
6 # error "This is a ROS 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  // !ROS_KERN_SCHED_H