Lines Matching defs:index
74 unsigned index;
78 index = grub_disk_cache_get_index (dev_id, disk_id, sector);
79 cache = grub_disk_cache_table + index;
113 unsigned index;
115 index = grub_disk_cache_get_index (dev_id, disk_id, sector);
116 cache = grub_disk_cache_table + index;
140 unsigned index;
142 index = grub_disk_cache_get_index (dev_id, disk_id, sector);
143 cache = grub_disk_cache_table + index;
154 unsigned index;
157 index = grub_disk_cache_get_index (dev_id, disk_id, sector);
158 cache = grub_disk_cache_table + index;