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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/
H A Dia64_flags.h39 #define FFI_IA64_TYPE_HFA_DOUBLE (FFI_TYPE_LAST + 3) macro
H A Dffi.c98 case FFI_IA64_TYPE_HFA_DOUBLE:
118 case FFI_IA64_TYPE_HFA_DOUBLE:
144 case FFI_IA64_TYPE_HFA_DOUBLE:
184 element = FFI_IA64_TYPE_HFA_DOUBLE;

Completed in 46 milliseconds