Searched refs:vpid_caps (Results 1 – 2 of 2) sorted by relevance
46 u32 vpid_caps; member
1319 vmcs_config.nested.vpid_caps); in vmx_restore_vmx_ept_vpid_cap()1326 vmx->nested.msrs.vpid_caps = data >> 32; in vmx_restore_vmx_ept_vpid_cap()1492 ((u64)msrs->vpid_caps << 32); in vmx_get_vmx_msr()5754 !(vmx->nested.msrs.vpid_caps & VMX_VPID_INVVPID_BIT)) { in handle_invvpid()5766 types = (vmx->nested.msrs.vpid_caps & in handle_invvpid()6934 msrs->vpid_caps = VMX_VPID_INVVPID_BIT | in nested_vmx_setup_ctls_msrs()
Completed in 14 milliseconds