893     const char* imageName = _imageFileNames[ AVD_IMAGE_KERNEL ];  in avdInfo_getKernelPath()  local
929     const char* imageName = _imageFileNames[ AVD_IMAGE_RAMDISK ];  in avdInfo_getRamdiskPath()  local
935     const char* imageName = _imageFileNames[ AVD_IMAGE_CACHE ];  in avdInfo_getCachePath()  local
941     const char* imageName = _imageFileNames[ AVD_IMAGE_CACHE ];  in avdInfo_getDefaultCachePath()  local
947     const char* imageName = _imageFileNames[ AVD_IMAGE_SDCARD ];  in avdInfo_getSdCardPath()  local
971     const char* imageName = _imageFileNames[ AVD_IMAGE_SNAPSHOTS ];  in avdInfo_getSnapStoragePath()  local
978     const char* imageName = _imageFileNames[ AVD_IMAGE_USERSYSTEM ];  in avdInfo_getSystemImagePath()  local
985     const char* imageName = _imageFileNames[ AVD_IMAGE_INITSYSTEM ];  in avdInfo_getSystemInitImagePath()  local
992     const char* imageName = _imageFileNames[ AVD_IMAGE_USERDATA ];  in avdInfo_getDataImagePath()  local
999     const char* imageName = _imageFileNames[ AVD_IMAGE_USERDATA ];  in avdInfo_getDefaultDataImagePath()  local
1006     const char* imageName = _imageFileNames[ AVD_IMAGE_INITDATA ];  in avdInfo_getDataInitImagePath()  local