antctrl           821 drivers/media/usb/dvb-usb-v2/mxl111sf.c 	int antctrl = dvb_usb_mxl111sf_rfswitch;
antctrl           826 drivers/media/usb/dvb-usb-v2/mxl111sf.c 	mxl111sf_set_ant_path(state, antctrl == ANT_PATH_AUTO ?
antctrl           827 drivers/media/usb/dvb-usb-v2/mxl111sf.c 			      ANT_PATH_EXTERNAL : antctrl);
antctrl           829 drivers/media/usb/dvb-usb-v2/mxl111sf.c 	if (antctrl == ANT_PATH_AUTO) {