1265 	u64 tstart, tend, spfn, epfn;  in fadump_release_reserved_area()  local
1272 		tstart = max_t(u64, spfn, reg_spfn);  in fadump_release_reserved_area()
1275 		if (tstart < tend) {  in fadump_release_reserved_area()
1276 			fadump_free_reserved_memory(tstart, tend);  in fadump_release_reserved_area()
1379 	u64 ra_start, ra_end, tstart;  in fadump_release_memory()  local
1402 	tstart = begin;  in fadump_release_memory()
1407 		if (tstart >= ra_end)  in fadump_release_memory()
1410 		if (tstart < ra_start)  in fadump_release_memory()
1411 			fadump_release_reserved_area(tstart, ra_start);  in fadump_release_memory()
1412 		tstart = ra_end;  in fadump_release_memory()
1415 	if (tstart < end)  in fadump_release_memory()
1416 		fadump_release_reserved_area(tstart, end);  in fadump_release_memory()