Searched refs:vpid (Results 1 – 7 of 7) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | mmu.c | 104 static inline void local_invvpid(uint64_t type, uint16_t vpid, uint64_t gva) in local_invvpid() argument
106 const struct invvpid_operand operand = { vpid, 0U, 0U, gva }; in local_invvpid()
109 pr_dbg("%s, failed. type = %lu, vpid = %u", __func__, type, vpid); in local_invvpid()
123 void flush_vpid_single(uint16_t vpid) in flush_vpid_single() argument
125 if (vpid != 0U) { in flush_vpid_single()
126 local_invvpid(VMX_VPID_TYPE_SINGLE_CONTEXT, vpid, 0UL); in flush_vpid_single()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | mmu.h | 69 uint32_t vpid : 16; member
159 void flush_vpid_single(uint16_t vpid);
|
| /hypervisor/arch/x86/guest/ |
| A D | nested.c | 415 offsetof(struct acrn_vmcs12, vpid), /* 16-bit Control Fields */
1026 exec_vmwrite(VMX_VPID, vmcs12->vpid); in merge_and_sync_control_fields()
1413 if (vmcs12->vpid >= ALLOCATED_MIN_L1_VPID) { in sanitize_l2_vpid()
1414 flush_vpid_single(vmcs12->vpid); in sanitize_l2_vpid()
1598 } else if ((type != VMX_VPID_TYPE_ALL_CONTEXT) && (desc.vpid == 0U)) { in invvpid_vmexit_handler()
|
| A D | vcpu.c | 573 vcpu->arch.vpid = ALLOCATED_MIN_L1_VPID + (vm->vm_id * MAX_VCPUS_PER_VM) + vcpu->vcpu_id; in create_vcpu()
725 if (vcpu->arch.vpid != 0U) { in run_vcpu()
726 exec_vmwrite16(VMX_VPID, vcpu->arch.vpid); in run_vcpu()
|
| A D | virq.c | 393 flush_vpid_single(arch->vpid); in acrn_handle_pending_request()
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcpu.h | 258 uint16_t vpid; member
|
| A D | nested.h | 123 uint16_t vpid; member
|
Completed in 18 milliseconds