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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Ddarwin_closure.S59 #define FFI_TYPE_TYPE MODE_CHOICE(6,10) define
193 lhz r3,FFI_TYPE_TYPE(r3) ; type => r3
383 lhz r0,FFI_TYPE_TYPE(r6) ; OK go the type

Completed in 32 milliseconds