Symbol: WriteInterruptSet
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
161
dprintf(" sie: "); WriteInterruptSet(Sie()); dprintf("\n");
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
162
dprintf(" sip: "); WriteInterruptSet(Sip()); dprintf("\n");