1204 	u64 tstart, tend, spfn, epfn;  in fadump_release_reserved_area()  local
1211 		tstart = max_t(u64, spfn, reg_spfn);  in fadump_release_reserved_area()
1214 		if (tstart < tend) {  in fadump_release_reserved_area()
1215 			fadump_free_reserved_memory(tstart, tend);  in fadump_release_reserved_area()
1318 	u64 ra_start, ra_end, tstart;  in fadump_release_memory()  local
1341 	tstart = begin;  in fadump_release_memory()
1346 		if (tstart >= ra_end)  in fadump_release_memory()
1349 		if (tstart < ra_start)  in fadump_release_memory()
1350 			fadump_release_reserved_area(tstart, ra_start);  in fadump_release_memory()
1351 		tstart = ra_end;  in fadump_release_memory()
1354 	if (tstart < end)  in fadump_release_memory()
1355 		fadump_release_reserved_area(tstart, end);  in fadump_release_memory()