42     radio_hal_properties_t hal_properties;  in list_all_properties()  local
43     device->get_properties(device, &hal_properties);  in list_all_properties()
48            hal_properties.class_id, hal_properties.implementor, hal_properties.num_tuners,  in list_all_properties()
49            hal_properties.num_bands);  in list_all_properties()
52     for (i = 0; i < hal_properties.num_bands; i++) {  in list_all_properties()
59                hal_properties.bands[i].type,  in list_all_properties()
60                hal_properties.bands[i].antenna_connected,  in list_all_properties()
61                hal_properties.bands[i].lower_limit,  in list_all_properties()
62                hal_properties.bands[i].upper_limit,  in list_all_properties()
63                hal_properties.bands[i].num_spacings);  in list_all_properties()
74     radio_hal_properties_t hal_properties;  in tune()  local
75     ret = device->get_properties(device, &hal_properties);  in tune()
81     if ((uint32_t) band_number >= hal_properties.num_bands) {  in tune()
82         printf("Tuner number range should be: [0, %d]\n", hal_properties.num_bands);  in tune()
90            hal_properties.bands[band_number].type,  in tune()
91            hal_properties.bands[band_number].antenna_connected,  in tune()
92            hal_properties.bands[band_number].lower_limit,  in tune()
93            hal_properties.bands[band_number].upper_limit,  in tune()
94            hal_properties.bands[band_number].num_spacings);  in tune()
97         device, (const radio_hal_band_config_t *) (&(hal_properties.bands[band_number])), false,  in tune()