Searched refs:pid_table (Results 1 – 2 of 2) sorted by relevance
374 u64 *pid_table; member
4687 return get_order(kvm->arch.max_vcpu_ids * sizeof(*to_kvm_vmx(kvm)->pid_table)); in vmx_get_pid_table_order()4698 if (kvm_vmx->pid_table) in vmx_alloc_ipiv_pid_table()4706 kvm_vmx->pid_table = (void *)page_address(pages); in vmx_alloc_ipiv_pid_table()4754 vmcs_write64(PID_POINTER_TABLE, __pa(kvm_vmx->pid_table)); in init_vmcs()7553 WRITE_ONCE(to_kvm_vmx(vcpu->kvm)->pid_table[vcpu->vcpu_id], in vmx_vcpu_create()8250 free_pages((unsigned long)kvm_vmx->pid_table, vmx_get_pid_table_order(kvm)); in vmx_vm_destroy()