DiseqcSendByte     95 drivers/media/pci/ttpci/budget-patch.c 		DiseqcSendByte(budget, msg[i]);
DiseqcSendByte    101 drivers/media/pci/ttpci/budget-patch.c 			DiseqcSendByte(budget, 0xff);
DiseqcSendByte     93 drivers/media/pci/ttpci/budget.c 		DiseqcSendByte(budget, msg[i]);
DiseqcSendByte     99 drivers/media/pci/ttpci/budget.c 			DiseqcSendByte(budget, 0xff);