/*
* Start processor.
*/
+
+#ifdef KERNEL_SERVER
+routine processor_start_from_user(
+ processor : processor_t);
+#else
routine processor_start(
processor : processor_t);
+#endif
/*
* Exit processor -- may not be restartable.
*/
+#ifdef KERNEL_SERVER
+routine processor_exit_from_user(
+ processor : processor_t);
+#else
routine processor_exit(
processor : processor_t);
+#endif
/*
* Return information about this processor.