10 typedef unsigned long            UWord;  typedef
15 extern UWord do_syscall_WRK (UWord syscall_no, 
16                              UWord a1, UWord a2, UWord a3,
17                              UWord a4, UWord a5, UWord a6
43 extern UWord do_syscall_WRK (
44           UWord syscall_no, 
45           UWord a1, UWord a2, UWord a3,
46           UWord a4, UWord a5, UWord a6
66           UWord syscall_no, 
67           UWord a1, UWord a2, UWord a3,
68           UWord a4, UWord a5, UWord a6
89 extern UWord do_syscall_WRK (
90           UWord a1, UWord a2, UWord a3,
91           UWord a4, UWord a5, UWord a6,
92           UWord syscall_no
108 UWord do_syscall_WRK (  in do_syscall_WRK()
109    UWord syscall_no,  in do_syscall_WRK()
110    UWord arg1, UWord arg2, UWord arg3,  in do_syscall_WRK()
111    UWord arg4, UWord arg5, UWord arg6  in do_syscall_WRK()
114    register UWord __arg1 asm("2") = arg1;  in do_syscall_WRK()
115    register UWord __arg2 asm("3") = arg2;  in do_syscall_WRK()
116    register UWord __arg3 asm("4") = arg3;  in do_syscall_WRK()
117    register UWord __arg4 asm("5") = arg4;  in do_syscall_WRK()
118    register UWord __arg5 asm("6") = arg5;  in do_syscall_WRK()
119    register UWord __arg6 asm("7") = arg6;  in do_syscall_WRK()
135    return (UWord) (__svcres);  in do_syscall_WRK()
139 extern UWord do_syscall_WRK (  in do_syscall_WRK()
140           UWord syscall_no,  in do_syscall_WRK()
141           UWord a1, UWord a2, UWord a3,  in do_syscall_WRK()
142           UWord a4, UWord a5, UWord a6  in do_syscall_WRK()
145    UWord out;  in do_syscall_WRK()
168 UWord do_syscall_WRK (UWord syscall_no,   in do_syscall_WRK()
169                       UWord a1, UWord a2, UWord a3,  in do_syscall_WRK()
170                       UWord a4, UWord a5, UWord a6  in do_syscall_WRK()
185                                     (UWord) addr, len, PROT_NONE,  in non_simd_mprotect()