target/riscv: read abstract args using batch

target/riscv: read abstract args using batch #717