original_frequency 387 drivers/media/dvb-core/dvb_frontend.c u32 original_frequency = c->frequency; original_frequency 470 drivers/media/dvb-core/dvb_frontend.c c->frequency = original_frequency;