1135 	u64 tstart, tend, spfn, epfn;  in fadump_release_reserved_area()  local
1141 		tstart = max_t(u64, spfn, memblock_region_memory_base_pfn(reg));  in fadump_release_reserved_area()
1143 		if (tstart < tend) {  in fadump_release_reserved_area()
1144 			fadump_free_reserved_memory(tstart, tend);  in fadump_release_reserved_area()
1251 	u64 ra_start, ra_end, tstart;  in fadump_release_memory()  local
1285 	tstart = begin;  in fadump_release_memory()
1290 		if (tstart >= ra_end)  in fadump_release_memory()
1293 		if (tstart < ra_start)  in fadump_release_memory()
1294 			fadump_release_reserved_area(tstart, ra_start);  in fadump_release_memory()
1295 		tstart = ra_end;  in fadump_release_memory()
1298 	if (tstart < end)  in fadump_release_memory()
1299 		fadump_release_reserved_area(tstart, end);  in fadump_release_memory()