358           UWord a4, UWord a5, UWord a6
418           UWord a4, UWord a5, UWord a6
453           UWord a4, UWord a5, UWord a6
558           UWord a4, UWord a5, UWord a6,
588           UWord a4, UWord a5, UWord a6,
633                       UWord a4, UWord a5, UWord a6, /* 16(esp)..24(esp) */
653                       UWord a4, UWord a5, UWord a6, /* 16(esp)..24(esp) */
666                       UWord a4, UWord a5, UWord a6, /* 16(esp)..24(esp) */
699                       UWord a4, UWord a5, UWord a6, /* rcx, r8,  r9 */
723                       UWord a4, UWord a5, UWord a6, /* rcx, r8,  r9 */
779           int a4, int a5, int a6, int syscall_no, UWord *err,
804 extern UWord do_syscall_WRK ( UWord a1, UWord a2, UWord a3, UWord a4, UWord a5,
831                UWord a4, UWord a5, UWord a6,    /* 16(esp)..24(esp) */
871                UWord a4, UWord a5, UWord a6,    /* rcx, r8, r9 */
923                                       UWord a4, UWord a5, UWord a6,  in VG_()
927    UWord val = do_syscall_WRK(sysno,a1,a2,a3,a4,a5,a6);  in VG_()
931    UWord val = do_syscall_WRK(sysno,a1,a2,a3,a4,a5,a6);  in VG_()
935    ULong ret     = do_syscall_WRK(sysno,a1,a2,a3,a4,a5,a6);  in VG_()
947    argblock[5] = a5;  in VG_()
953    UWord val = do_syscall_WRK(a1,a2,a3,a4,a5,a6,sysno);  in VG_()
957    UWord val = do_syscall_WRK(a1,a2,a3,a4,a5,a6,sysno);  in VG_()
966          u64 = do_syscall_unix_WRK(a1,a2,a3,a4,a5,a6,a7,a8,  in VG_()
972          wLO = do_syscall_mach_WRK(a1,a2,a3,a4,a5,a6,a7,a8,   in VG_()
977          wLO = do_syscall_mdep_WRK(a1,a2,a3,a4,a5,a6,a7,a8,   in VG_()
992          wLO = do_syscall_unix_WRK(a1,a2,a3,a4,a5,a6,a7,a8,  in VG_()
997          wLO = do_syscall_mach_WRK(a1,a2,a3,a4,a5,a6,a7,a8,   in VG_()
1017      argbuf[4] = a5;  in VG_()
1021      val = do_syscall_WRK(sysno,a1,a2,a3,a4,a5,a6);  in VG_()
1030    (void) do_syscall_WRK(a1,a2,a3,a4,a5,a6, sysno,&err,&valHi,&valLo);  in VG_()
1037    ULong V0 = do_syscall_WRK(a1,a2,a3,a4,a5,a6,sysno,v1_a3);  in VG_()
1053             u64 = do_syscall_WRK(a1,a2,a3,a4,a5,a6,a7,a8,  in VG_()
1082             val = do_syscall_WRK(a1,a2,a3,a4,a5,a6,a7,a8,  in VG_()