ds_cap_fini
if ((rv = ds_cap_fini(&dr_cpu_cap)) != 0) {
if ((rv = ds_cap_fini(&dr_vio_cap)) != 0) {
if ((rv = ds_cap_fini(&dr_mem_cap)) != 0) {
if ((rv = ds_cap_fini(&ds_pri_cap)) != 0) {
(void) ds_cap_fini(&ds_snmp_cap);
(void) ds_cap_fini(&cpu_cap);
(void) ds_cap_fini(&cpu_cap);
(void) ds_cap_fini(&mem_cap);
(void) ds_cap_fini(&ps_md_cap);
(void) ds_cap_fini(&ps_md_cap);
(void) ds_cap_fini(&ps_md_cap);
(void) ds_cap_fini(&ps_shutdown_cap);
(void) ds_cap_fini(&ps_md_cap);
(void) ds_cap_fini(&ps_shutdown_cap);
(void) ds_cap_fini(&ps_panic_cap);
(void) ds_cap_fini(&ps_md_cap);
(void) ds_cap_fini(&ps_shutdown_cap);
(void) ds_cap_fini(&ps_panic_cap);
(void) ds_cap_fini(&ps_suspend_cap);
extern int ds_cap_fini(ds_capability_t *cap);