Symbol: interface_detach
src/add-ons/kernel/drivers/dvb/cx23882/driver.c
238
interface_detach(((interface_cookie *)cookie)->cookie);
src/add-ons/kernel/drivers/dvb/cx23882/dvb_interface.h
31
void interface_detach(void *cookie);