Definition at line 75 of file riscv.h.
Definition at line 79 of file riscv.h.
Definition at line 76 of file riscv.h.
Definition at line 80 of file riscv.h.