BUDGET_VIDEO_PORTA
ttpci_budget_set_video_port(saa, BUDGET_VIDEO_PORTA);
ttpci_budget_set_video_port(saa, BUDGET_VIDEO_PORTA);
if (budget->video_port == BUDGET_VIDEO_PORTA) {
budget->video_port = BUDGET_VIDEO_PORTA;
if (budget->video_port == BUDGET_VIDEO_PORTA) {