Local variable in function efi_free_pages_ext at lib/efi_loader/efi_boottime.c, line 256 References: lib/efi_loader/efi_boottime.c, line 235 lib/efi_loader/efi_boottime.c, line 238 lib/efi_loader/efi_boottime.c, line 239 lib/efi_loader/efi_boottime.c, line 256 lib/efi_loader/efi_boottime.c, line 259 lib/efi_loader/efi_boottime.c, line 260 lib/efi_loader/efi_boottime.c, line 285 lib/efi_loader/efi_boottime.c, line 289 lib/efi_loader/efi_boottime.c, line 291 lib/efi_loader/efi_boottime.c, line 310 lib/efi_loader/efi_boottime.c, line 313 lib/efi_loader/efi_boottime.c, line 314 lib/efi_loader/efi_boottime.c, line 329 lib/efi_loader/efi_boottime.c, line 332 lib/efi_loader/efi_boottime.c, line 333 lib/efi_loader/efi_boottime.c, line 362 lib/efi_loader/efi_boottime.c, line 364 lib/efi_loader/efi_boottime.c, line 367 lib/efi_loader/efi_boottime.c, line 368 lib/efi_loader/efi_boottime.c, line 371 lib/efi_loader/efi_boottime.c, line 948 lib/efi_loader/efi_boottime.c, line 955 lib/efi_loader/efi_boottime.c, line 961 lib/efi_loader/efi_boottime.c, line 962 lib/efi_loader/efi_boottime.c, line 971 lib/efi_loader/efi_boottime.c, line 973 lib/efi_loader/efi_boottime.c, line 1082 lib/efi_loader/efi_boottime.c, line 1091 lib/efi_loader/efi_boottime.c, line 1095 lib/efi_loader/efi_boottime.c, line 1096 lib/efi_loader/efi_boottime.c, line 1122 lib/efi_loader/efi_boottime.c, line 1129 lib/efi_loader/efi_boottime.c, line 1133 lib/efi_loader/efi_boottime.c, line 1134 lib/efi_loader/efi_boottime.c, line 1139 lib/efi_loader/efi_boottime.c, line 1151 lib/efi_loader/efi_boottime.c, line 1154 lib/efi_loader/efi_boottime.c, line 1156 lib/efi_loader/efi_boottime.c, line 1856 lib/efi_loader/efi_boottime.c, line 1862 lib/efi_loader/efi_boottime.c, line 1865 lib/efi_loader/efi_boottime.c, line 1866 lib/efi_loader/efi_boottime.c, line 1869 lib/efi_loader/efi_boottime.c, line 1874 lib/efi_loader/efi_boottime.c, line 1879 lib/efi_loader/efi_boottime.c, line 1904 lib/efi_loader/efi_boottime.c, line 1911 lib/efi_loader/efi_boottime.c, line 1914 lib/efi_loader/efi_boottime.c, line 1915 lib/efi_loader/efi_boottime.c, line 1927 lib/efi_loader/efi_boottime.c, line 1933 lib/efi_loader/efi_boottime.c, line 1935 lib/efi_loader/efi_boottime.c, line 1942 lib/efi_loader/efi_boottime.c, line 1964 lib/efi_loader/efi_boottime.c, line 1989 lib/efi_loader/efi_boottime.c, line 1991 lib/efi_loader/efi_boottime.c, line 1992 lib/efi_loader/efi_boottime.c, line 2025 lib/efi_loader/efi_boottime.c, line 2032 lib/efi_loader/efi_boottime.c, line 2037 lib/efi_loader/efi_boottime.c, line 2039 lib/efi_loader/efi_boottime.c, line 2041 lib/efi_loader/efi_boottime.c, line 2043 lib/efi_loader/efi_boottime.c, line 2045 lib/efi_loader/efi_boottime.c, line 2047 lib/efi_loader/efi_boottime.c, line 2050 lib/efi_loader/efi_boottime.c, line 2190 lib/efi_loader/efi_boottime.c, line 2202 lib/efi_loader/efi_boottime.c, line 2206 lib/efi_loader/efi_boottime.c, line 2211 lib/efi_loader/efi_boottime.c, line 2212 lib/efi_loader/efi_boottime.c, line 2224 lib/efi_loader/efi_boottime.c, line 2247 lib/efi_loader/efi_boottime.c, line 2259 lib/efi_loader/efi_boottime.c, line 2262 lib/efi_loader/efi_boottime.c, line 2267 lib/efi_loader/efi_boottime.c, line 2268 lib/efi_loader/efi_boottime.c, line 2281 lib/efi_loader/efi_boottime.c, line 2458 lib/efi_loader/efi_boottime.c, line 2494 lib/efi_loader/efi_boottime.c, line 2495 lib/efi_loader/efi_boottime.c, line 2498 lib/efi_loader/efi_boottime.c, line 2501 lib/efi_loader/efi_boottime.c, line 2530 lib/efi_loader/efi_boottime.c, line 2532 lib/efi_loader/efi_boottime.c, line 2537 lib/efi_loader/efi_boottime.c, line 2538 lib/efi_loader/efi_boottime.c, line 2539 lib/efi_loader/efi_boottime.c, line 2542 lib/efi_loader/efi_boottime.c, line 2543 lib/efi_loader/efi_boottime.c, line 2549 lib/efi_loader/efi_boottime.c, line 2560 lib/efi_loader/efi_boottime.c, line 2564 lib/efi_loader/efi_boottime.c, line 2567 lib/efi_loader/efi_boottime.c, line 2568 lib/efi_loader/efi_boottime.c, line 2576 lib/efi_loader/efi_boottime.c, line 2585 lib/efi_loader/efi_boottime.c, line 2602 lib/efi_loader/efi_boottime.c, line 2605 lib/efi_loader/efi_boottime.c, line 2639 lib/efi_loader/efi_boottime.c, line 2652 lib/efi_loader/efi_boottime.c, line 2655 lib/efi_loader/efi_boottime.c, line 2665 lib/efi_loader/efi_boottime.c, line 2670 lib/efi_loader/efi_boottime.c, line 2766 lib/efi_loader/efi_boottime.c, line 2775 lib/efi_loader/efi_boottime.c, line 2780 lib/efi_loader/efi_boottime.c, line 2786 lib/efi_loader/efi_boottime.c, line 2802 lib/efi_loader/efi_boottime.c, line 2807 lib/efi_loader/efi_boottime.c, line 2811 lib/efi_loader/efi_boottime.c, line 2815 lib/efi_loader/efi_boottime.c, line 2820 lib/efi_loader/efi_boottime.c, line 2823 lib/efi_loader/efi_boottime.c, line 2830 lib/efi_loader/efi_boottime.c, line 2832 lib/efi_loader/efi_boottime.c, line 2836