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

/seL4-l4v-master/HOL4/examples/ARM/v7/
H A Dexample.s5 blx label label
H A Darm_parserLib.sig97 blx label ; branch to thumb code
H A Darm_disassemblerLib.sml503 f (if (enc ~~ Encoding_ARM_tm) = is_F toarm then "blx" else "bl")
508 f "blx" (register m)
H A Dselftest.sml554 blx sp
H A Darm_parserLib.sml586 ("bl", BL), ("blx", BLX), ("bx", BX),
/seL4-l4v-master/seL4/src/arch/arm/32/
H A Dtraps.S44 blx r8
140 blx kernelPrefetchAbort
192 blx kernelDataAbort
224 blx halt
228 blx halt
H A Dhyp_traps.S183 blx kernelPrefetchAbort
194 blx kernelDataAbort
205 blx kernelUndefinedInstruction
228 blx halt
232 blx halt
H A Dhead.S150 blx arm_errata
164 blx init_kernel
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dderive_specsLib.sml574 (* deal with silly blx instructions that call a constant pointer *)
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sml4789 | BranchLinkExchangeRegister m => ("blx",s_reg m);
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml26267 | BranchLinkExchangeRegister m => ("blx" ^ (s_cond c),s_reg m)

Completed in 325 milliseconds