Definition at line 3863 of file riscv.c.
Definition at line 3865 of file riscv.c.
Referenced by riscv_init_registers().
Definition at line 3864 of file riscv.c.