kern_return_t
thread_switch(
- mach_port_t thread,
- int option,
- mach_msg_timeout_t option_time)
+ mach_port_t thread,
+ int option,
+ mach_msg_timeout_t option_time)
{
kern_return_t result;
- result = syscall_thread_switch(thread, option, option_time);
- return (result);
+ result = syscall_thread_switch(thread, option, option_time);
+ return result;
}