Lines Matching refs:vcpu
116 #include <xen/public/vcpu.h>
138 * Return whether or not the vcpu is actually running on a pcpu
196 "failed to set vcpu config watch");
210 cpu_config_tq = taskq_create("vcpu config taskq", 1,
344 * - vcpu pointer reference
359 * Now set up the vcpu context so that we can start this vcpu
418 * The vcpu context is loaded into the hypervisor, and
419 * we've tried to start it, but the vcpu has not been set
775 printf("poweron_vcpu: vcpu%d is not available!\n",
786 * Tell the vcpu it's up one more time.
973 * - the vcpu id is out of range
993 * Hmm. This error is returned if the vcpu has already
1006 cmn_err(level, "vcpu%d: failed to init: error %d: %s",
1038 printf("vcpu%d: failed to start: error %d: %s\n",
1055 panic("vcpu%d: failed to stop: error %d", id, -(int)err);