File tree Expand file tree Collapse file tree 1 file changed +13
-0
lines changed Expand file tree Collapse file tree 1 file changed +13
-0
lines changed Original file line number Diff line number Diff line change @@ -464,6 +464,16 @@ module Vif = struct
464464
465465 let default_locking_mode = Unlocked
466466
467+ module PVS_proxy = struct
468+ type server = {
469+ addresses : string list ;
470+ first_port : int ;
471+ last_port : int ;
472+ }
473+ type interface = string
474+ type t = (server list * interface )
475+ end
476+
467477 type t = {
468478 id : id ;
469479 position : int ;
@@ -477,6 +487,7 @@ module Vif = struct
477487 extra_private_keys : (string * string ) list ;
478488 ipv4_configuration : ipv4_configuration ;
479489 ipv6_configuration : ipv6_configuration ;
490+ pvs_proxy : PVS_proxy .t option ;
480491 }
481492
482493 let default_t = {
@@ -492,6 +503,7 @@ module Vif = struct
492503 extra_private_keys = [] ;
493504 ipv4_configuration = default_ipv4_configuration;
494505 ipv6_configuration = default_ipv6_configuration;
506+ pvs_proxy = None ;
495507 }
496508
497509 let t_of_rpc rpc = Rpc. struct_extend rpc (rpc_of_t default_t) |> t_of_rpc
@@ -693,6 +705,7 @@ module VIF = struct
693705 external set_locking_mode : debug_info -> Vif .id -> Vif .locking_mode -> Task .id = " "
694706 external set_ipv4_configuration : debug_info -> Vif .id -> Vif .ipv4_configuration -> Task .id = " "
695707 external set_ipv6_configuration : debug_info -> Vif .id -> Vif .ipv6_configuration -> Task .id = " "
708+ external set_pvs_proxy : debug_info -> Vif .id -> Vif.PVS_proxy .t option -> Task .id = " "
696709end
697710
698711module VGPU = struct
You can’t perform that action at this time.
0 commit comments