gpio_Set22K       122 drivers/media/pci/ttpci/budget-patch.c 		gpio_Set22K (budget, 1);
gpio_Set22K       126 drivers/media/pci/ttpci/budget-patch.c 		gpio_Set22K (budget, 0);