Symbol: dbg_wb_write_reg
sys/arm/arm/debug_monitor.c
229
dbg_wb_write_reg(int reg, int n, uint32_t val)
sys/arm64/arm64/debug_monitor.c
181
dbg_wb_write_reg(int reg, int n, uint64_t val)