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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffitarget.h149 #define FFI_TYPE_UINT128 (FFI_TYPE_LAST + 1) macro
H A Dffi_sysv.c79 type = FFI_TYPE_UINT128;
141 case FFI_TYPE_UINT128:
208 case FFI_TYPE_UINT128:
511 case FFI_TYPE_UINT128:
796 case FFI_TYPE_UINT128:
H A Dppc_closure.S237 # case FFI_TYPE_UINT128
H A Dffi_linux64.c155 case FFI_TYPE_UINT128:

Completed in 41 milliseconds