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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp56 #define DEREFSTRINGHANDLE(_x) ((PolyStringObject *)(_x)->WordP()) macro
294 POLYUNSIGNED xlen = DEREFSTRINGHANDLE(x)->length;
298 POLYUNSIGNED ylen = DEREFSTRINGHANDLE(y)->length;
307 DEREFSTRINGHANDLE(result)->length = len;
310 char *to_ptr = DEREFSTRINGHANDLE(result)->chars;
311 char *from_ptr = DEREFSTRINGHANDLE(x)->chars;
315 from_ptr = DEREFSTRINGHANDLE(y)->chars;

Completed in 26 milliseconds