Symbol: cardbus_teardown_device
usr/src/uts/common/io/cardbus/cardbus_cfg.h
55
extern int cardbus_teardown_device(dev_info_t *);
usr/src/uts/common/io/cardbus/cardbus_hp.c
1018
if (cardbus_teardown_device(devi) != PCICFG_SUCCESS) {