/* scan_devices() simply iterates through the device page. The type 0 is reserved to mean "end of devices".  */
static void scan_devices(void)
/* scan_devices() simply iterates through the device page. The type 0 is reserved to mean "end of devices".  */
static void scan_devices(void)
{
	unsigned int i;
	struct kvm_device_desc *d;
	for (i = 0; i < PAGE_SIZE; i += desc_size(d)) {
		d = kvm_devices + i;
		if (d->type == 0)
			break;
		add_kvm_device(d, i);
	}
}