13275 bhyve needs richer INIT/SIPI support
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Gordon Ross <gordon.w.ross@gmail.com>

@@ -29,8 +29,12 @@
  */
 
 #ifndef _SPINUP_AP_H_
 #define _SPINUP_AP_H_
 
+#ifdef __FreeBSD__
 int spinup_ap(struct vmctx *ctx, int vcpu, int newcpu, uint64_t rip);
+#else
+void spinup_halted_ap(struct vmctx *ctx, int newcpu);
+#endif /* __FreeBSD__ */
 
 #endif