Adrian Danis 3d99437609 SELFOUR-1264: riscv: Missing brace ... Adds missing brace in syscalls.h and restyle the code accordingly.		2018-04-18 10:10:14 +10:00
..
interfaces	[SELFOUR-1156] RISC-V Port	2018-04-18 10:10:14 +10:00
sel4/arch	SELFOUR-1264: riscv: Missing brace	2018-04-18 10:10:14 +10:00