Symbol: CSR_VXSAT
sys/arch/riscv64/riscv64/db_instruction.h
1869
#define CSR_VXSAT 0x9
sys/arch/riscv64/riscv64/vector.c
27
#define CSR_VXSAT 0x009