Module file_loader

Implements a loader that serializes the loaded state into the IGVM binary format.

Structs

• IgvmLoader
• IgvmOutput
  Returns output from finalize
• IgvmVtlLoader
• MapFile
  A map file representing information about a given generated IGVM file from a loader.
• PageTableRegion 🔒
  Page table relocation information kept for debugging purposes.
• RangeInfo 🔒
• RequiredMemory 🔒

Enums

• LoaderIsolationType
• RelocationType 🔒

Constants

• DEFAULT_COMPATIBILITY_MASK
• TDX_SHARED_GPA_BOUNDARY_BITS 🔒

Traits

• IgvmLoaderRegister
  A trait to specialize behavior based on different register types for different architectures.

Functions

• to_igvm_vtl 🔒