Searched refs:do_syscall_for_client (Results 1 – 1 of 1) sorted by relevance
306 void do_syscall_for_client ( Int syscallno, in do_syscall_for_client() function1743 do_syscall_for_client(sysno, tst, &mask); in VG_()