XXX AVX procfs

*** 22,33 ****
  /*
   * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
- #pragma ident   "%Z%%M% %I%     %E% SMI"
- 
  /*
   * User Process Target Intel 32-bit component
   *
   * This file provides the ISA-dependent portion of the user process target.
   * For more details on the implementation refer to mdb_proc.c.
--- 22,31 ----
*** 185,195 ****
          mdb_printf("%%gsbase = 0x%0?p\n", grs[REG_GSBASE]);
          mdb_printf("%%fsbase = 0x%0?p\n", grs[REG_FSBASE]);
          mdb_printf("%%trapno = 0x%x\n", grs[REG_TRAPNO]);
          mdb_printf("   %%err = 0x%x\n", grs[REG_ERR]);
  
!         return (set_errno(ENOTSUP));
  }
  
  static const char *
  fpcw2str(uint32_t cw, char *buf, size_t nbytes)
  {
--- 183,193 ----
          mdb_printf("%%gsbase = 0x%0?p\n", grs[REG_GSBASE]);
          mdb_printf("%%fsbase = 0x%0?p\n", grs[REG_FSBASE]);
          mdb_printf("%%trapno = 0x%x\n", grs[REG_TRAPNO]);
          mdb_printf("   %%err = 0x%x\n", grs[REG_ERR]);
  
!         return (DCMD_OK);
  }
  
  static const char *
  fpcw2str(uint32_t cw, char *buf, size_t nbytes)
  {