Searched refs:vcpu_from_pid (Results 1 – 4 of 4) sorted by relevance
71 ree_vcpu = vcpu_from_pid(ree_vm, get_pcpu_id()); in tee_switch_to_ree()131 tee_vcpu = vcpu_from_pid(tee_vm, get_pcpu_id()); in ree_switch_to_tee()198 tee_vcpu = vcpu_from_pid(get_companion_vm(entry->vm), pcpu_id); in handle_x86_tee_int()208 tee_vcpu = vcpu_from_pid(entry->vm, pcpu_id); in handle_x86_tee_int()
415 struct acrn_vcpu *vcpu = vcpu_from_pid(vm, get_pcpu_id()); in get_eptp()
142 struct acrn_vcpu *vcpu = vcpu_from_pid(vpci2vm(vdev->vpci), get_pcpu_id()); in pci_vdev_update_vbar_base()
212 static inline struct acrn_vcpu *vcpu_from_pid(struct acrn_vm *vm, uint16_t pcpu_id) in vcpu_from_pid() function
Completed in 6 milliseconds