Symbol: vmexit_set_bsp
usr.sbin/bhyve/riscv/bhyverun_machdep.c
356
vmexit_set_bsp(vcpu_id(bsp));
usr.sbin/bhyve/riscv/riscv.h
39
void vmexit_set_bsp(int hart_id);