Searched refs:bufflen (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.h47 extern POLYUNSIGNED Poly_string_to_C(PolyWord ps, char *buff, POLYUNSIGNED bufflen);
82 extern POLYUNSIGNED Poly_string_to_C(PolyWord ps, WCHAR *buff, POLYUNSIGNED bufflen);
H A Dpolystring.cpp84 POLYUNSIGNED Poly_string_to_C(PolyWord ps, char *buff, POLYUNSIGNED bufflen) argument
89 POLYUNSIGNED chars = str->length >= bufflen ? bufflen-1 : str->length;
160 POLYUNSIGNED Poly_string_to_C(PolyWord ps, WCHAR *buff, POLYUNSIGNED bufflen) argument
167 if (bufflen != 0) buff[0] = 0;
172 int space = MultiByteToWideChar(codePage, 0, iPtr, iLength, buff, (int)bufflen-1);
176 if (bufflen != 0) buff[0] = 0;

Completed in 40 milliseconds