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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffi.c85 unsigned long smst_buffer[8]; local
93 ecif.rvalue = smst_buffer;
106 if (rvalue && ecif.rvalue == smst_buffer)
114 memcpy (rvalue, (char *) smst_buffer + 4 - rsize, rsize);
121 memcpy (rvalue, (char *) smst_buffer + 8 - rsize, rsize);
124 memcpy (rvalue, smst_buffer, rsize);

Completed in 31 milliseconds