Symbol: BOOT_HART_INVALID
sys/riscv/riscv/machdep.c
117
uint32_t boot_hart = BOOT_HART_INVALID; /* The hart we booted on. */
sys/riscv/riscv/machdep.c
450
if (boot_hart == BOOT_HART_INVALID) {