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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.cpp311 char *from_ptr = DEREFSTRINGHANDLE(x)->chars; local
312 while (xlen-- > 0) (*to_ptr++ = *from_ptr++);
315 from_ptr = DEREFSTRINGHANDLE(y)->chars;
316 while (ylen-- > 0) (*to_ptr++ = *from_ptr++);

Completed in 81 milliseconds