Expand description
Structures and definitions used between the underhill kernel and HvLite.
Structs§
- 4 bits represent VTL0 enter mode.
- Controls how to enter VTL0.
- Kernel IPI offloading flags
- The register values returned from a TDG.VP.ENTER call. These are readable via mmaping the mshv_vtl driver inside
hcl_run
, and returned on a run_vp ioctl exit. See the TDX ABI specification for output operands for TDG.VP.ENTER. - Additional VP state that is save/restored across TDG.VP.ENTER.