Local variable in function efi_free_pool at lib/efi_loader/efi_boottime.c, line 145 References: lib/efi_loader/efi_boottime.c, line 102 lib/efi_loader/efi_boottime.c, line 105 lib/efi_loader/efi_boottime.c, line 106 lib/efi_loader/efi_boottime.c, line 111 lib/efi_loader/efi_boottime.c, line 114 lib/efi_loader/efi_boottime.c, line 115 lib/efi_loader/efi_boottime.c, line 124 lib/efi_loader/efi_boottime.c, line 128 lib/efi_loader/efi_boottime.c, line 130 lib/efi_loader/efi_boottime.c, line 136 lib/efi_loader/efi_boottime.c, line 139 lib/efi_loader/efi_boottime.c, line 140 lib/efi_loader/efi_boottime.c, line 145 lib/efi_loader/efi_boottime.c, line 148 lib/efi_loader/efi_boottime.c, line 149 lib/efi_loader/efi_boottime.c, line 690 lib/efi_loader/efi_boottime.c, line 708 lib/efi_loader/efi_boottime.c, line 717