+class VmMigrationExt {
+public:
+ s4u::ActorPtr issuer_ = nullptr;
+ s4u::ActorPtr tx_ = nullptr;
+ s4u::ActorPtr rx_ = nullptr;
+ static xbt::Extension<s4u::Host, VmMigrationExt> EXTENSION_ID;
+ explicit VmMigrationExt(s4u::ActorPtr issuer, s4u::ActorPtr rx, s4u::ActorPtr tx) : issuer_(issuer), tx_(tx), rx_(rx)
+ {
+ }
+ static void ensureVmMigrationExtInstalled();
+};