Lines Matching refs:buff
96 val buff = malloc (Word.fromInt(appSize + pictSize + 3))
100 copyStringToMem(buff, 0, applicationName);
101 copyStringToMem(buff, appSize+1, pictureName);
102 set8(buff, Word.fromInt(appSize + pictSize + 2), 0w0);
103 (cemf(hdc, name, r, buff)
104 handle ex => (free buff; raise ex)) before free buff
114 val buff = toCWord8vec v
116 gdiComment (hdc, vecsize, buff) handle ex => (Memory.free buff; raise ex);
117 Memory.free buff
130 val buff = malloc(Word.fromInt size)
131 val res = gemfb(hemf, size, buff) handle ex => (free buff; raise ex)
133 fromCWord8vec(buff, size) before free buff
146 val buff = malloc(Word.fromInt size)
147 val res = gemfb(hemf, size, buff) handle ex => (free buff; raise ex)
149 fromCWord8vec(buff, size) before free buff
169 val buff = malloc (Word.fromInt len)
170 val res = gemfd(hemf, len, buff)
171 val str1 = fromCstring buff
172 val str2 = fromCstring(buff ++ Word.fromInt (size str1 +1))
199 val buff = malloc (Word.fromInt size)
200 val _ = gwmfb(hemf, size, buff, mapMode, hdc)
201 handle ex => (free buff; raise ex)
203 fromCWord8vec(buff, size) before free buff
242 val buff = malloc(Word.fromInt size)
243 val _ = gemf(h, size, buff) handle ex => (free buff; raise ex)
246 _, _, openGL) = toEMH buff
247 val () = free buff