Searched refs:ALLOCATED_MIN_L1_VPID (Results 1 – 3 of 3) sorted by relevance
257 #define ALLOCATED_MIN_L1_VPID (0x10000U - CONFIG_MAX_VM_NUM * MAX_VCPUS_PER_VM) macro
573 vcpu->arch.vpid = ALLOCATED_MIN_L1_VPID + (vm->vm_id * MAX_VCPUS_PER_VM) + vcpu->vcpu_id; in create_vcpu()
1413 if (vmcs12->vpid >= ALLOCATED_MIN_L1_VPID) { in sanitize_l2_vpid()
Completed in 9 milliseconds