1264 	u64 tstart, tend, spfn, epfn;  in fadump_release_reserved_area()  local
1271 		tstart = max_t(u64, spfn, reg_spfn);  in fadump_release_reserved_area()
1274 		if (tstart < tend) {  in fadump_release_reserved_area()
1275 			fadump_free_reserved_memory(tstart, tend);  in fadump_release_reserved_area()
1378 	u64 ra_start, ra_end, tstart;  in fadump_release_memory()  local
1401 	tstart = begin;  in fadump_release_memory()
1406 		if (tstart >= ra_end)  in fadump_release_memory()
1409 		if (tstart < ra_start)  in fadump_release_memory()
1410 			fadump_release_reserved_area(tstart, ra_start);  in fadump_release_memory()
1411 		tstart = ra_end;  in fadump_release_memory()
1414 	if (tstart < end)  in fadump_release_memory()
1415 		fadump_release_reserved_area(tstart, end);  in fadump_release_memory()