Definition at line 3720 of file riscv-013.c.
Definition at line 1209 of file riscv-013.c.
Referenced by write_memory_bus_v0().