Searched defs:RAW_CLOSURE_USER_DATA_OFFSET (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dfreebsd.S275 #define RAW_CLOSURE_USER_DATA_OFFSET (RAW_CLOSURE_FUN_OFFSET + 4) define
H A Dsysv.S263 #define RAW_CLOSURE_USER_DATA_OFFSET 20 define
267 #define RAW_CLOSURE_USER_DATA_OFFSET 32 define
271 #define RAW_CLOSURE_USER_DATA_OFFSET (RAW_CLOSURE_FUN_OFFSET + 4) define
H A Ddarwin.S264 #define RAW_CLOSURE_USER_DATA_OFFSET (RAW_CLOSURE_FUN_OFFSET + 4) define
H A Dwin32.S333 #define RAW_CLOSURE_USER_DATA_OFFSET (RAW_CLOSURE_FUN_OFFSET + 4) define
897 #define RAW_CLOSURE_USER_DATA_OFFSET (RAW_CLOSURE_FUN_OFFSET + 4) define

Completed in 42 milliseconds