Constant x86defs::tdx::TDX_VP_ENTER_INVD_INVVPID

pub const TDX_VP_ENTER_INVD_INVVPID: u8 = 2;