#include "../powerpc64/get_syscall_args.c"