Symbol: HART_TO_CPU
usr.sbin/bhyve/riscv/vmexit.c
190
if (HART_TO_CPU(hart_id) >= (uint64_t)guest_ncpus)
usr.sbin/bhyve/riscv/vmexit.c
193
newvcpu = fbsdrun_vcpu(HART_TO_CPU(hart_id));