4474 DTrace Userland CTF Support
4475 DTrace userland Keyword
4476 DTrace tests should be better citizens
4479 pid provider types
4480 dof emulation missing checks
Reviewed by: Bryan Cantrill <bryan@joyent.com>

*** 22,32 ****
  /*
   * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  /*
!  * Copyright (c) 2012, Joyent, Inc.  All rights reserved.
   */
  
  /*
   * This header file defines the interfaces available from the CTF debugger
   * library, libctf, and an equivalent kernel module.  This API can be used by
--- 22,32 ----
  /*
   * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  /*
!  * Copyright (c) 2013, Joyent, Inc.  All rights reserved.
   */
  
  /*
   * This header file defines the interfaces available from the CTF debugger
   * library, libctf, and an equivalent kernel module.  This API can be used by
*** 149,158 ****
--- 149,159 ----
  extern ctf_file_t *ctf_bufopen(const ctf_sect_t *, const ctf_sect_t *,
      const ctf_sect_t *, int *);
  extern ctf_file_t *ctf_fdopen(int, int *);
  extern ctf_file_t *ctf_open(const char *, int *);
  extern ctf_file_t *ctf_create(int *);
+ extern ctf_file_t *ctf_dup(ctf_file_t *);
  extern void ctf_close(ctf_file_t *);
  
  extern ctf_file_t *ctf_parent_file(ctf_file_t *);
  extern const char *ctf_parent_name(ctf_file_t *);
  
*** 174,183 ****
--- 175,186 ----
  extern ctf_id_t ctf_lookup_by_symbol(ctf_file_t *, ulong_t);
  
  extern ctf_id_t ctf_type_resolve(ctf_file_t *, ctf_id_t);
  extern ssize_t ctf_type_lname(ctf_file_t *, ctf_id_t, char *, size_t);
  extern char *ctf_type_name(ctf_file_t *, ctf_id_t, char *, size_t);
+ extern char *ctf_type_qname(ctf_file_t *, ctf_id_t, char *, size_t,
+     const char *);
  extern ssize_t ctf_type_size(ctf_file_t *, ctf_id_t);
  extern ssize_t ctf_type_align(ctf_file_t *, ctf_id_t);
  extern int ctf_type_kind(ctf_file_t *, ctf_id_t);
  extern ctf_id_t ctf_type_reference(ctf_file_t *, ctf_id_t);
  extern ctf_id_t ctf_type_pointer(ctf_file_t *, ctf_id_t);