209  * Open the file and read it into a buffer.
239 	/* Find the file size in order to allocate the buffer */  in efi_load_image()
271 static int efi_grow_buffer(efi_status_t *status, void **buffer, uint64_t buffer_size)  in efi_grow_buffer()  argument
275 	if (!*buffer && buffer_size) {  in efi_grow_buffer()
281 		if (*buffer)  in efi_grow_buffer()
282 			efi_free_pool(*buffer);  in efi_grow_buffer()
284 		efi_bs_call(allocate_pool, EFI_LOADER_DATA, buffer_size, buffer);  in efi_grow_buffer()
285 		if (*buffer) {  in efi_grow_buffer()
292 	if (!try_again && EFI_ERROR(*status) && *buffer) {  in efi_grow_buffer()
293 		efi_free_pool(*buffer);  in efi_grow_buffer()
294 		*buffer = NULL;  in efi_grow_buffer()