Searched refs:VKI_MAXPATHLEN (Results 1 – 4 of 4) sorted by relevance
376 HChar tmp[VKI_MAXPATHLEN+1]; in ML_()
119 HChar tmp[VKI_MAXPATHLEN+1]; in VG_()124 buf = VG_(malloc)("resolve_filename", VKI_MAXPATHLEN+1); in VG_()
381 #define VKI_MAXPATHLEN MAXPATHLEN macro
1677 ARG3, VKI_MAXPATHLEN ); in PRE()