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

*** 56,67 ****
  
  void fbsdrun_set_capabilities(struct vmctx *ctx, int cpu);
  #ifdef __FreeBSD__
  void fbsdrun_addcpu(struct vmctx *ctx, int fromcpu, int newcpu, uint64_t rip);
  #else
! void fbsdrun_addcpu(struct vmctx *ctx, int fromcpu, int newcpu, uint64_t rip,
!     bool suspend);
  #endif
  int  fbsdrun_muxed(void);
  int  fbsdrun_vmexit_on_hlt(void);
  int  fbsdrun_vmexit_on_pause(void);
  int  fbsdrun_disable_x2apic(void);
--- 56,66 ----
  
  void fbsdrun_set_capabilities(struct vmctx *ctx, int cpu);
  #ifdef __FreeBSD__
  void fbsdrun_addcpu(struct vmctx *ctx, int fromcpu, int newcpu, uint64_t rip);
  #else
! void fbsdrun_addcpu(struct vmctx *ctx, int newcpu, uint64_t rip, bool suspend);
  #endif
  int  fbsdrun_muxed(void);
  int  fbsdrun_vmexit_on_hlt(void);
  int  fbsdrun_vmexit_on_pause(void);
  int  fbsdrun_disable_x2apic(void);