Constant TDX_VP_ENTER_INVD_INVVPID_NON_GLOBAL 

pub const TDX_VP_ENTER_INVD_INVVPID_NON_GLOBAL: u8 = 3;