riscv_hartid_to_cpuid
int riscv_hartid_to_cpuid(unsigned long hartid);
cpuid = riscv_hartid_to_cpuid(rintc->hart_id);
cpu = riscv_hartid_to_cpuid(*hart);
sleep_cpu = riscv_hartid_to_cpuid(hdr->hartid);
cpuid = riscv_hartid_to_cpuid(hartid);
cpu = riscv_hartid_to_cpuid(hartid);
cpu = riscv_hartid_to_cpuid(hartid);
cpu = riscv_hartid_to_cpuid(hartid);
if (riscv_hartid_to_cpuid(hartid) != smp_processor_id()) {
if (riscv_hartid_to_cpuid(rintc->hart_id) != smp_processor_id())
*parent_cpu = riscv_hartid_to_cpuid(hartid);
*parent_cpu = riscv_hartid_to_cpuid(hartid);