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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S57 #define INLINE_ROUTINE(id) \ define
118 INLINE_ROUTINE(X86AsmSwitchToPoly)
161 INLINE_ROUTINE(X86AsmCallExtraRETURN_HEAP_OVERFLOW)
164 INLINE_ROUTINE(X86AsmCallExtraRETURN_STACK_OVERFLOW)
167 INLINE_ROUTINE(X86AsmCallExtraRETURN_STACK_OVERFLOWEX)
172 INLINE_ROUTINE(X86AsmPopArgAndClosure)
177 INLINE_ROUTINE(X86AsmRaiseException)
185 INLINE_ROUTINE(X86AsmKillSelf)
188 INLINE_ROUTINE(X86AsmCallbackReturn)
191 INLINE_ROUTINE(X86AsmCallbackExceptio
[all...]
H A Dx86assembly_gas64.S66 #define INLINE_ROUTINE(id) \ define
140 INLINE_ROUTINE(X86AsmSwitchToPoly)
249 INLINE_ROUTINE(X86AsmPopArgAndClosure)
255 INLINE_ROUTINE(X86AsmRaiseException)
261 INLINE_ROUTINE(X86AsmKillSelf)
264 INLINE_ROUTINE(X86AsmCallbackReturn)
267 INLINE_ROUTINE(X86AsmCallbackException)
270 INLINE_ROUTINE(X86AsmCallExtraRETURN_HEAP_OVERFLOW)
273 INLINE_ROUTINE(X86AsmCallExtraRETURN_STACK_OVERFLOW)
276 INLINE_ROUTINE(X86AsmCallExtraRETURN_STACK_OVERFLOWE
[all...]

Completed in 25 milliseconds