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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dtypes.c67 FFI_TYPEDEF(uint8, UINT8, FFI_TYPE_UINT8, const);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S114 be,a uint8
143 uint8: label

Completed in 107 milliseconds