Values of VMCS fields are encoded as per section VMREAD, VMWRITE, and Encodings of VMCS Field (24.11.2, Intel Manual Volume 3C - May 2018).
This encoding can be transcribed into C:
union vmcs_component_encoding
{
struct| # python 3.7 | |
| # General | |
| ipython | |
| requests | |
| Scapy | |
| # Web | |
| Flask==1.0.2 | |
| django==2.1.1 |