18 uint64_t syscall_id = 0;
19 std::array<uint64_t, 6> args{};
21 syscall_id = context_ptr->x8;
22 args[0] = context_ptr->x0;
23 args[1] = context_ptr->x1;
24 args[2] = context_ptr->x2;
25 args[3] = context_ptr->x3;
26 args[4] = context_ptr->x4;
27 args[5] = context_ptr->x5;
33 context_ptr->x0 =
static_cast<uint64_t
>(ret);
36 context_ptr->elr_el1 += 4;