Searched refs:vcpu_reset (Results 1 – 4 of 4) sorted by relevance
87 error = vcpu_reset(ctx, newcpu); in spinup_ap()
1201 error = vcpu_reset(ctx, BSP); in main()
216 int vcpu_reset(struct vmctx *ctx, int vcpu);
1038 vcpu_reset(struct vmctx *vmctx, int vcpu) in vcpu_reset() function