Symbol: envd_es_destroy
usr/src/cmd/picl/plugins/sun4u/enchilada/envd/piclenvd.c
2346
envd_es_destroy();
usr/src/cmd/picl/plugins/sun4u/taco/envd/piclenvd.c
1556
envd_es_destroy();