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

*** 29,36 ****
--- 29,40 ----
   */
  
  #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