Lines Matching refs:vcpuid
832 int vcpuid = vcpu_id(vcpu);
834 debug("$vCPU %d suspending\n", vcpuid);
835 CPU_SET(vcpuid, &vcpus_waiting);
838 while (CPU_ISSET(vcpuid, &vcpus_suspended))
840 CPU_CLR(vcpuid, &vcpus_waiting);
841 debug("$vCPU %d resuming\n", vcpuid);
897 int vcpuid;
901 vcpuid = vcpu_id(vcpu);
902 debug("$vCPU %d starting\n", vcpuid);
904 assert(vcpuid < guest_ncpus);
905 assert(vcpus[vcpuid] == NULL);
906 vcpus[vcpuid] = vcpu;
907 CPU_SET(vcpuid, &vcpus_active);
910 debug("$vCPU %d enabled breakpoint exits\n", vcpuid);
919 CPU_SET(vcpuid, &vcpus_suspended);
986 int vcpuid = vcpu_id(vcpu);
989 debug("$vCPU %d stepped\n", vcpuid);
991 vs = &vcpu_state[vcpuid];
1000 debug("$vCPU %d reporting step\n", vcpuid);
1001 stopped_vcpu = vcpuid;
1062 int error, vcpuid;
1068 vcpuid = vcpu_id(vcpu);
1074 vs = &vcpu_state[vcpuid];
1083 vcpuid, guest_pc(vmexit));
1084 stopped_vcpu = vcpuid;
1101 debug("$vCPU %d injecting breakpoint at rip %#lx\n", vcpuid,
1123 int error, vcpuid;
1125 vcpuid = vcpu_id(vcpu);
1126 debug("$vCPU %d step\n", vcpuid);
1132 vcpu_state[vcpuid].stepping = true;
1134 CPU_CLR(vcpuid, &vcpus_suspended);