Searched refs:bhyve_init_platform (Results 1 – 3 of 3) sorted by relevance
73 int bhyve_init_platform(struct vmctx *ctx, struct vcpu *bsp);
773 if (bhyve_init_platform(ctx, bsp) != 0) in main()
398 bhyve_init_platform(struct vmctx *ctx, struct vcpu *bsp __unused) in bhyve_init_platform() function