xenops_interface: add vgpu-to-pci map to VM.migrate

This is similar to the existing VBD and VIF maps.

Signed-off-by: Rob Hoes <[email protected]>

Author: robhoes

xen/xenops_interface.ml

@@ -443,7 +443,11 @@ module VM = struct
 
 	external generate_state_string: debug_info -> Vm.t -> string = ""
 
-	external migrate: debug_info -> Vm.id -> (string * string) list -> (string * Network.t) list -> string -> Task.id = ""
+	external migrate: debug_info -> Vm.id ->
+		(string * string) list ->
+		(string * Network.t) list ->
+		(string * Pci.address) list ->
+		string -> Task.id = ""
 	external migrate_receive_memory: debug_info -> Vm.id -> int64 -> string -> Xcp_channel.t -> Task.id option = ""
 
 	external create: debug_info -> Vm.id -> Task.id = ""