Symbol: WritePC
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
140
dprintf(", PC: "); WritePC(pc);
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
147
dprintf(", PC: "); WritePC(pc);