Symbol: hvio_hotplug_uninit
usr/src/uts/sun4u/io/px/px_lib4u.c
2597
if (hvio_hotplug_uninit(dip) == DDI_SUCCESS) {
usr/src/uts/sun4u/io/px/px_lib4u.h
405
extern int hvio_hotplug_uninit(dev_info_t *dip);