Module migration 

Live Migration

VMCS serialization, dirty page pre-copy, stop-and-copy for VM migration.

Structs

DirtyPageBitmap

Dirty page bitmap for tracking modified guest pages during migration

DirtyPageIter

Iterator over dirty pages

MigrationController

Live migration controller

MigrationProgress

Migration progress tracking (integer-only bandwidth/progress estimation)

SerializedVmcs

Serialized VMCS state for migration

SerializedVmcsField

Serialized VMCS field

Enums

MigrationState

Migration state machine

VmcsFieldGroup

VMCS field group for serialization