SECONDARY_EXEC_ENABLE_VPID 265 arch/x86/kvm/vmx.c SECONDARY_EXEC_ENABLE_VPID); SECONDARY_EXEC_ENABLE_VPID 1139 arch/x86/kvm/vmx.c SECONDARY_EXEC_ENABLE_VPID | SECONDARY_EXEC_ENABLE_VPID 1929 arch/x86/kvm/vmx.c exec_control &= ~SECONDARY_EXEC_ENABLE_VPID;