Searched refs:bufflen (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | polystring.h | 47 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 D | polystring.cpp | 84 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