Constant x86defs::tdx::TDX_FIELD_CODE_L2_CTLS_VM1

pub const TDX_FIELD_CODE_L2_CTLS_VM1: TdxExtendedFieldCode;