XXX AVX procfs

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