Searched defs:mk_SysRes_Success (Results 1 – 1 of 1) sorted by relevance
170 SysRes VG_(mk_SysRes_Success) ( UWord res ) { in VG_() argument259 SysRes VG_(mk_SysRes_Success) ( UWord res ) { in VG_() argument