Searched refs:WritePC (Results 1 - 3 of 3) sorted by relevance

/haiku/headers/private/kernel/arch/riscv64/
H A Darch_debug.h19 void WritePC(addr_t pc);
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_traps.cpp128 WritePC(addr_t pc) function
140 dprintf(", PC: "); WritePC(pc);
147 dprintf(", PC: "); WritePC(pc);
/haiku/src/system/kernel/arch/riscv64/
H A Darch_debug.cpp229 void WritePC(addr_t pc) function

Completed in 53 milliseconds