Searched refs:plugged_range_start (Results 1 – 1 of 1) sorted by relevance
2752 uint64_t chunk_size, cur_start, cur_end, plugged_range_start = 0; in virtio_mem_vmcore_get_device_ram() local2785 if (!plugged_range_start) in virtio_mem_vmcore_get_device_ram()2786 plugged_range_start = cur_start; in virtio_mem_vmcore_get_device_ram()2791 if (plugged_range_start) { in virtio_mem_vmcore_get_device_ram()2793 plugged_range_start, in virtio_mem_vmcore_get_device_ram()2797 plugged_range_start = 0; in virtio_mem_vmcore_get_device_ram()2802 if (plugged_range_start) in virtio_mem_vmcore_get_device_ram()2804 plugged_range_start, in virtio_mem_vmcore_get_device_ram()