Symbol: Wfi
headers/private/kernel/arch/riscv64/arch_cpu.h
56
Wfi();
src/system/boot/platform/efi/arch/riscv64/arch_traps.cpp
167
for (;;) Wfi();