Symbol: ciintf_deinit
drivers/media/pci/ttpci/budget-av.c
1380
ciintf_deinit(budget_av);
drivers/media/pci/ttpci/budget-ci.c
1502
ciintf_deinit(budget_ci);