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