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

/haiku/src/system/kernel/arch/riscv64/
H A Darch_debug.cpp171 WritePCBoot(addr_t pc) function
201 WritePCBoot(pc); return;

Completed in 33 milliseconds