145 static struct vcpu **vcpus;  variable
776 	assert(vcpus[vcpuid] == NULL);  in gdb_cpu_add()
777 	vcpus[vcpuid] = vcpu;  in gdb_cpu_add()
988 	if (vm_get_register_set(vcpus[cur_vcpu], nitems(gdb_regset),  in gdb_read_regs()
1011 	if (vm_get_register(vcpus[cur_vcpu], gdb_regset[reg].id, &regval) ==  in gdb_read_one_reg()
1052 		error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);  in gdb_read_mem()
1104 				error = read_mem(vcpus[cur_vcpu], gpa, &val,  in gdb_read_mem()
1177 		error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);  in gdb_write_mem()
1226 				error = write_mem(vcpus[cur_vcpu], gpa, val,  in gdb_write_mem()
1257 		if (vm_set_capability(vcpus[vcpu], VM_CAP_BPT_EXIT,  in set_breakpoint_caps()
1299 	error = guest_vaddr2paddr(vcpus[cur_vcpu], gva, &gpa);  in update_sw_breakpoint()
1655 		if (!gdb_step_vcpu(vcpus[cur_vcpu])) {  in handle_command()
1987 	vcpus = calloc(guest_ncpus, sizeof(*vcpus));  in init_gdb()