ciintf_deinit    1381 drivers/media/pci/ttpci/budget-av.c 		ciintf_deinit(budget_av);
ciintf_deinit    1501 drivers/media/pci/ttpci/budget-ci.c 		ciintf_deinit(budget_ci);