Renaming and documentating header

This commit is contained in:
Toby Jaffey 2025-12-12 20:42:26 +00:00
parent 9880eadf4f
commit 8158ac647c
19 changed files with 305 additions and 225 deletions

View file

@ -29,7 +29,7 @@ uint32_t metered_run(uint32_t num_instr) {
switch(evt.typ) {
case UVM32_EVT_SYSCALL: {
TEST_ASSERT_EQUAL(UVM32_SYSCALL_PRINTDEC, evt.data.syscall.code);
uint32_t val = uvm32_getval(&vmst, &evt, ARG0);
uint32_t val = uvm32_arg_getval(&vmst, &evt, ARG0);
TEST_ASSERT_EQUAL(val, expected);
expected++;
} break;