old_covered_state  856 drivers/hv/hv_balloon.c 	unsigned long old_covered_state;
old_covered_state  871 drivers/hv/hv_balloon.c 		old_covered_state = has->covered_end_pfn;
old_covered_state  923 drivers/hv/hv_balloon.c 		res = has->covered_end_pfn - old_covered_state;