Lines Matching refs:vm_id
756 uint16_t vm_id; in shell_list_vm() local
762 for (vm_id = 0U; vm_id < CONFIG_MAX_VM_NUM; vm_id++) { in shell_list_vm()
763 vm = get_vm_from_vmid(vm_id); in shell_list_vm()
781 vm_config = get_vm_config(vm_id); in shell_list_vm()
784 vm_id, vm_config->name, state); in shell_list_vm()
846 vm->vm_id, in shell_list_vcpu()
887 vcpu->vm->vm_id, vcpu->vcpu_id, in dump_vcpu_reg()
928 vcpu->vm->vm_id, vcpu_get_gpreg(vcpu, CPU_REG_RSP)); in dump_vcpu_reg()
957 uint16_t vm_id; in shell_vcpu_dumpreg() local
975 vm_id = sanitize_vmid((uint16_t)status); in shell_vcpu_dumpreg()
978 vm = get_vm_from_vmid(vm_id); in shell_vcpu_dumpreg()
1078 uint16_t vm_id, pcpu_id; in shell_dump_guest_mem() local
1091 vm_id = sanitize_vmid((uint16_t)strtol_deci(argv[1])); in shell_dump_guest_mem()
1095 vm = get_vm_from_vmid(vm_id); in shell_dump_guest_mem()
1114 uint16_t vm_id = 0U; in shell_to_vm_console() local
1120 vm_id = sanitize_vmid((uint16_t)strtol_deci(argv[1])); in shell_to_vm_console()
1124 vm = get_vm_from_vmid(vm_id); in shell_to_vm_console()
1134 console_vmid = vm_id; in shell_to_vm_console()
1136 snprintf(temp_str, TEMP_STR_SIZE, "\r\n----- Entering VM %d Shell -----\r\n", vm_id); in shell_to_vm_console()
1290 entry->vm->vm_id, type, irq, vector, dest); in get_ptdev_info()