libvarpd_instance_destroy
extern void libvarpd_instance_destroy(varpd_instance_handle_t *);
libvarpd_instance_destroy(ihp);
libvarpd_instance_destroy((varpd_instance_handle_t *)inst);
libvarpd_instance_destroy((varpd_instance_handle_t *)inst);