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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dwin32.S91 jmp prepr_one
95 prepr_one: label
573 jmp .prepr_one
577 .prepr_one:

Completed in 32 milliseconds