INVALID_HARTID 31 arch/riscv/kernel/smp.c [0 ... NR_CPUS-1] = INVALID_HARTID INVALID_HARTID 94 arch/riscv/kernel/smpboot.c if (cpuid_to_hartid_map(cpuid) != INVALID_HARTID)