sys/riscv/vmm/riscv.h
usr.sbin/bhyve/riscv/riscv.h