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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dwin32.S126 dd offset ca_retint ;; FFI_TYPE_INT
134 dd offset ca_retint ;; FFI_TYPE_UINT32
135 dd offset ca_retint ;; FFI_TYPE_SINT32
139 dd offset ca_retint ;; FFI_TYPE_POINTER
142 dd offset ca_retint ;; FFI_TYPE_SMALL_STRUCT_4B
148 jmp ca_retint
152 jmp ca_retint
156 jmp ca_retint
160 jmp ca_retint
162 ca_retint label
[all...]

Completed in 77 milliseconds