opensecura / sw / kelvin / 87cc267a51d2981716eafe3218b8612e7b9a3788 / tests / kelvin_isa / ecall.cc