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