Searched refs:vpid (Results 1 – 7 of 7) sorted by relevance
| /arch/x86/kvm/vmx/ |
| D | vmx_ops.h | 21 void invvpid_error(unsigned long ext, u16 vpid, gva_t gva);
255 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva) in __invvpid() argument
258 u64 vpid : 16; in __invvpid() member
261 } operand = { vpid, 0, gva }; in __invvpid()
263 vmx_asm2(invvpid, "r"(ext), "m"(operand), ext, vpid, gva); in __invvpid()
275 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single() argument
277 if (vpid == 0) in vpid_sync_vcpu_single()
280 __invvpid(VMX_VPID_EXTENT_SINGLE_CONTEXT, vpid, 0); in vpid_sync_vcpu_single()
288 static inline void vpid_sync_context(int vpid) in vpid_sync_context() argument
291 vpid_sync_vcpu_single(vpid); in vpid_sync_context()
[all …]
|
| D | capabilities.h | 68 u32 vpid; member
325 return vmx_capability.vpid & VMX_VPID_INVVPID_BIT; in cpu_has_vmx_invvpid()
330 return vmx_capability.vpid & VMX_VPID_EXTENT_INDIVIDUAL_ADDR_BIT; in cpu_has_vmx_invvpid_individual_addr()
335 return vmx_capability.vpid & VMX_VPID_EXTENT_SINGLE_CONTEXT_BIT; in cpu_has_vmx_invvpid_single()
340 return vmx_capability.vpid & VMX_VPID_EXTENT_GLOBAL_CONTEXT_BIT; in cpu_has_vmx_invvpid_global()
|
| D | vmx.h | 268 int vpid; member
338 void free_vpid(int vpid);
|
| D | vmx.c | 79 module_param_named(vpid, enable_vpid, bool, 0444);
458 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva) in invvpid_error() argument
461 ext, vpid, gva); in invvpid_error()
2552 &vmx_cap->ept, &vmx_cap->vpid); in setup_vmcs_config()
2566 vmx_cap->vpid) { in setup_vmcs_config()
2567 vmx_cap->vpid = 0; in setup_vmcs_config()
2991 vpid_sync_vcpu_single(vmx->vpid); in vmx_flush_tlb_all()
3001 return to_vmx(vcpu)->vpid; in vmx_get_current_vpid()
3748 int vpid; in allocate_vpid() local
3753 vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS); in allocate_vpid()
[all …]
|
| D | nested.h | 73 return vmx->nested.vpid02 ? vmx->nested.vpid02 : vmx->vpid; in nested_get_vpid02()
|
| D | nested.c | 2231 vmcs_write16(VIRTUAL_PROCESSOR_ID, vmx->vpid); in prepare_vmcs02_early_rare()
5491 u64 vpid; in handle_invvpid() member
5527 if (operand.vpid >> 16) in handle_invvpid()
5534 if (!operand.vpid || in handle_invvpid()
5542 if (!operand.vpid) in handle_invvpid()
|
| /arch/x86/kernel/cpu/ |
| D | feat_ctl.c | 25 u32 supported, funcs, ept, vpid, ign; in init_vmx_capabilities() local
52 rdmsr_safe(MSR_IA32_VMX_EPT_VPID_CAP, &ept, &vpid); in init_vmx_capabilities()
58 ((vpid & 0x1) << 16) | in init_vmx_capabilities()
|