syscall_dispatcher
int32 syscall_dispatcher(uint32 function, void *argBuffer, uint64 *_returnValue);
syscall_dispatcher(syscall, (void*)args, &returnValue);
syscall_dispatcher(syscall, (void*)args, &frame->x[0]);
syscall_dispatcher(syscall, (void*)args, &returnValue);