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

/barrelfish-2018-10-04/lib/compiler-rt/builtins/
H A Demutls.c30 typedef unsigned int gcc_word __attribute__((mode(word))); typedef
32 /* Must use gcc_word here, instead of size_t, to match GCC. When
33 gcc_word is larger than size_t, the upper extra bits are all
36 gcc_word size; /* size of the object in bytes */
37 gcc_word align; /* alignment of the object in bytes */

Completed in 85 milliseconds