Symbol: plic_get_cpuid
sys/arch/riscv64/dev/plic.c
129
int plic_get_cpuid(int);
sys/arch/riscv64/dev/plic.c
255
cpu = plic_get_cpuid(OF_getnodebyphandle(cells[i]));