12 uint64_t syscall_id = 0;
13 uint64_t args[6] = {0};
15 syscall_id = context_ptr->a7;
16 args[0] = context_ptr->a0;
17 args[1] = context_ptr->a1;
18 args[2] = context_ptr->a2;
19 args[3] = context_ptr->a3;
20 args[4] = context_ptr->a4;
21 args[5] = context_ptr->a5;
27 context_ptr->a0 =
static_cast<uint64_t
>(ret);
29 context_ptr->sepc += 4;