Symbol: WriteInterrupt
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
122
dprintf("interrupt "); WriteInterrupt(cause & ~causeInterrupt);
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
92
WriteInterrupt(i);