Symbol: WriteModeSet
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
53
dprintf("ie: "); WriteModeSet(status.ie);
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
54
dprintf(", pie: "); WriteModeSet(status.pie);