tree 6547fe4cd115b68987a56ea16fb080715f258040
parent 70dd9243456da78d030fa13af6642ba080b703a2
author June Tate-Gans <jtgans@google.com> 1603397000 +0000
committer June Tate-Gans <jtgans@google.com> 1603397000 +0000

riscv: Fix sel4bench.h macros to be valid C

The sel4bench.h header macros were invalid C code and would not compile
using spike as the platform and rv32 as the architecture.