Symbol: CSR_VXSAT
sys/arch/riscv64/riscv64/db_instruction.h
3118
DECLARE_CSR(vxsat, CSR_VXSAT)
sys/arch/riscv64/riscv64/vector.c
65
return csr == CSR_VSTART || csr == CSR_VXSAT ||