Constant x86defs::tdx::TDX_VP_ENTER_INVD_INVVPID_NON_GLOBAL

pub const TDX_VP_ENTER_INVD_INVVPID_NON_GLOBAL: u8 = 3;