XXX AVX procfs

*** 236,280 ****
  #endif  /* _SYSCALL32_IMPL */
  
  /*
   * Does the system support extra register state?
   */
- /* ARGSUSED */
  int
  prhasx(proc_t *p)
  {
!         return (0);
  }
  
  /*
   * Get the size of the extra registers.
   */
- /* ARGSUSED */
  int
  prgetprxregsize(proc_t *p)
  {
!         return (0);
  }
  
  /*
   * Get extra registers.
   */
- /*ARGSUSED*/
  void
  prgetprxregs(klwp_t *lwp, caddr_t prx)
  {
!         /* no extra registers */
  }
  
  /*
   * Set extra registers.
   */
- /*ARGSUSED*/
  void
  prsetprxregs(klwp_t *lwp, caddr_t prx)
  {
!         /* no extra registers */
  }
  
  /*
   * Return the base (lower limit) of the process stack.
   */
--- 236,281 ----
  #endif  /* _SYSCALL32_IMPL */
  
  /*
   * Does the system support extra register state?
   */
  int
  prhasx(proc_t *p)
  {
!         /* XXX */
!         return (1);
  }
  
  /*
   * Get the size of the extra registers.
   */
  int
  prgetprxregsize(proc_t *p)
  {
!         return (xregs_getsize(p));
  }
  
  /*
   * Get extra registers.
   */
  void
  prgetprxregs(klwp_t *lwp, caddr_t prx)
  {
!         extern void xregs_get(struct _klwp *, caddr_t);
! 
!         xregs_get(lwp, prx);
  }
  
  /*
   * Set extra registers.
   */
  void
  prsetprxregs(klwp_t *lwp, caddr_t prx)
  {
!         extern void xregs_set(struct _klwp *, caddr_t);
! 
!         xregs_set(lwp, prx);
  }
  
  /*
   * Return the base (lower limit) of the process stack.
   */