extern SysRes VG_(mk_SysRes_Error) ( UWord val );
extern SysRes VG_(mk_SysRes_Success) ( UWord val );
-// The _WRK function is handwritten assembly. It has some very magic
-// properties. See comments at the top of
-// VG_(fixup_guest_state_after_syscall_interrupted) below for details.
-extern
-void VG_(do_syscall_for_client_WRK)( Int syscallno,
- void* guest_state,
- const vki_sigset_t *syscall_mask,
- const vki_sigset_t *restore_mask,
- Int nsigwords );
-
#endif // __PUB_CORE_SYSCALL_H
/*--------------------------------------------------------------------*/