Module paravisor

Source
Expand description

Underhill (paravisor) definitions.

Structs§

CommandLinePolicy
Underhill command line policy.
ImportedRegionDescriptor
Describes a region of guest memory that has been imported into VTL2.
ImportedRegionsPageHeader
The header field of the imported pages region page.
LinuxInfo
Measured config about linux loaded into VTL0.
PageRegionDescriptor
Describes a region of guest memory.
ParavisorCommandLine
Command line information. This structure is an exclusive measured page.
ParavisorMeasuredVtl0Config
Paravisor measured config information for vtl 0. Unlike the previous loader block which contains dynamic parameter info written by the host, this config information is known at file build time, measured, and deposited as part of the initial launch data.
ParavisorMeasuredVtl2Config
Paravisor measured config for vtl2.
SupportedVtl0LoadInfo
Measured config about what this image can support loading in VTL0.
UefiInfo
Measured config about UEFI loaded into VTL0.

Constants§

COMMAND_LINE_SIZE
Maximum static command line size.
PARAVISOR_CONFIG_DEVICE_TREE_PAGE_INDEX
The page index to the device tree.
PARAVISOR_CONFIG_DEVICE_TREE_SIZE_PAGES
Size in pages for the device tree.
PARAVISOR_CONFIG_PPTT_PAGE_INDEX
The page index to the PPTT.
PARAVISOR_CONFIG_PPTT_SIZE_PAGES
Size in pages for the PPTT.
PARAVISOR_CONFIG_SLIT_PAGE_INDEX
The page index to the SLIT.
PARAVISOR_CONFIG_SLIT_SIZE_PAGES
Size in pages for the SLIT.
PARAVISOR_DEFAULT_MEMORY_BASE_ADDRESS
The default base address for the paravisor, 128MB.
PARAVISOR_DEFAULT_MEMORY_PAGE_COUNT
The default page count for the memory size for the paravisor, 64MB.
PARAVISOR_LOCAL_MAP_SIZE
The base size in bytes for the local map, if present.
PARAVISOR_LOCAL_MAP_VA
The base VA for the local map, if present.
PARAVISOR_MEASURED_VTL2_CONFIG_ACCEPTED_MEMORY_PAGE_INDEX
The page index to the list of accepted pages
PARAVISOR_MEASURED_VTL2_CONFIG_ACCEPTED_MEMORY_SIZE_PAGES
Size in pages the list of accepted memory
PARAVISOR_MEASURED_VTL2_CONFIG_PAGE_INDEX
The page index for measured VTL2 config.
PARAVISOR_MEASURED_VTL2_CONFIG_REGION_PAGE_COUNT
Count for vtl 2 measured config region size.
PARAVISOR_MEASURED_VTL2_CONFIG_SIZE_PAGES
Size in pages of VTL2 specific measured config
PARAVISOR_RESERVED_VTL2_PAGE_COUNT_MAX
Total size of the reserved vtl2 range.
PARAVISOR_RESERVED_VTL2_SNP_CPUID_PAGE_INDEX
The page index to the first SNP CPUID page.
PARAVISOR_RESERVED_VTL2_SNP_CPUID_SIZE_PAGES
Size in pages for the SNP CPUID pages.
PARAVISOR_RESERVED_VTL2_SNP_SECRETS_PAGE_INDEX
The page index to the first SNP secrets page.
PARAVISOR_RESERVED_VTL2_SNP_SECRETS_SIZE_PAGES
Size in pages for the secrets page.
PARAVISOR_RESERVED_VTL2_SNP_VMSA_PAGE_INDEX
The page index to the SNP VMSA page.
PARAVISOR_RESERVED_VTL2_SNP_VMSA_SIZE_PAGES
Size in pages for the VMSA page.
PARAVISOR_UNMEASURED_VTL2_CONFIG_REGION_BASE_INDEX
Base index for the unmeasured vtl 2 config region
PARAVISOR_UNMEASURED_VTL2_CONFIG_REGION_PAGE_COUNT_MAX
The maximum size in pages of the unmeasured vtl 2 config region.
PARAVISOR_VTL0_MEASURED_CONFIG_BASE_PAGE_AARCH64
The physical page number for where the vtl 0 measured config is stored, aarch64. Not obvious about guaranteed existence. 16MiB might be a reasonable assumption as:
PARAVISOR_VTL0_MEASURED_CONFIG_BASE_PAGE_X64
The physical page number for where the vtl 0 measured config is stored, x86_64. This address is guaranteed to exist in the guest address space as it is where the ISR table is located at reset.
PARAVISOR_VTL2_CONFIG_REGION_PAGE_COUNT_MAX
The maximum size in pages out of all isolation architectures.