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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dsysv.S95 # define call_reg(x) blx x
97 # define call_reg(x) mov lr, pc ; bx x
102 # define call_reg(x) mov lr, pc ; mov pc, x
188 call_reg(ip)
377 call_reg(ip)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/
H A Dsysv.S52 .macro call_reg x=
190 call_reg D1.5 define

Completed in 36 milliseconds