x86defs::tdx

Constant TDX_VP_ENTER_INVD_INVVPID

Source 
pub const TDX_VP_ENTER_INVD_INVVPID: u8 = 2;