XXX AVX procfs

@@ -22,12 +22,10 @@
 /*
  * 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.

@@ -185,11 +183,11 @@
         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));
+        return (DCMD_OK);
 }
 
 static const char *
 fpcw2str(uint32_t cw, char *buf, size_t nbytes)
 {