helper function to make it very clear to Coq that getCSR terminates
helper function to make it very clear to Coq that getCSR terminates

mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics