Constant TDX_VP_ENTER_INVD_INVVPID 

pub const TDX_VP_ENTER_INVD_INVVPID: u8 = 2;