Searched refs:mk_SysRes_SuccessEx (Results 1 – 2 of 2) sorted by relevance
97 extern SysRes VG_(mk_SysRes_SuccessEx) ( UWord val, UWord valEx );
81 SysRes VG_(mk_SysRes_SuccessEx) ( UWord res, UWord resEx ) { in VG_() argument