452 					   std::vector<vk::VkImageView>		imageViews,  in initFramebuffers()  argument
457 	DE_ASSERT(framebuffers.size() == imageViews.size());  in initFramebuffers()
460 …framebuffers[ndx] = createFramebuffer(vkd, device, renderPass, imageViews[ndx], width, height).dis…  in initFramebuffers()
509 					 std::vector<vk::VkImageView>&		imageViews)  in initImageViews()  argument
511 	DE_ASSERT(images.size() == imageViews.size());  in initImageViews()
513 	for (size_t ndx = 0; ndx < imageViews.size(); ndx++)  in initImageViews()
514 		imageViews[ndx] = createImageView(vkd, device, images[ndx], format).disown();  in initImageViews()
519 					   std::vector<vk::VkImageView>&	imageViews)  in deinitImageViews()  argument
521 	for (size_t ndx = 0; ndx < imageViews.size(); ndx++)  in deinitImageViews()
523 		if (imageViews[ndx] != (vk::VkImageView)0)  in deinitImageViews()
524 			vkd.destroyImageView(device, imageViews[ndx], DE_NULL);  in deinitImageViews()
526 		imageViews[ndx] = (vk::VkImageView)0;  in deinitImageViews()
529 	imageViews.clear();  in deinitImageViews()