sbdp_teardown_instance
(void) sbdp_teardown_instance(sbdp_arg);
if (sbdp_teardown_instance(sbdp_arg) != DDI_SUCCESS)
int sbdp_teardown_instance(caddr_t arg);