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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S219 be done1
222 be done1
226 be,a done1
230 be,a done1
242 be,a done1
246 be,a done1
250 done1: label
H A Dv9.S186 be,pn %icc, done1
192 be,a,pn %icc, done1
196 be,a,pn %icc, done1
217 done1: label

Completed in 59 milliseconds