Searched refs:pid_table (Results 1 – 2 of 2) sorted by relevance
386 u64 *pid_table; member
4670 return get_order(kvm->arch.max_vcpu_ids * sizeof(*to_kvm_vmx(kvm)->pid_table)); in vmx_get_pid_table_order()4681 if (kvm_vmx->pid_table) in vmx_alloc_ipiv_pid_table()4688 kvm_vmx->pid_table = (void *)page_address(pages); in vmx_alloc_ipiv_pid_table()4736 vmcs_write64(PID_POINTER_TABLE, __pa(kvm_vmx->pid_table)); in init_vmcs()7485 WRITE_ONCE(to_kvm_vmx(vcpu->kvm)->pid_table[vcpu->vcpu_id], in vmx_vcpu_create()8130 free_pages((unsigned long)kvm_vmx->pid_table, vmx_get_pid_table_order(kvm)); in vmx_vm_destroy()
Completed in 19 milliseconds