Searched refs:vm_vmid2id (Results 1 – 3 of 3) sorted by relevance
159 vtp.vtp_vm_id = vm_vmid2id(vm->vm_vmid, vm); in vmm_dispatch_parent()187 if (vm_vmid2id(vm->vm_vmid, vm) == 0) { in vmm_dispatch_parent()443 vtp.vtp_vm_id = vm_vmid2id(vm->vm_vmid, vm); in vmm_shutdown()
468 uint32_t vm_vmid2id(uint32_t, struct vmd_vm *);
1101 vm_vmid2id(uint32_t vmid, struct vmd_vm *vm) in vm_vmid2id() function