push_arm_le       250 scripts/recordmcount.c static unsigned char push_arm_le[4] = { 0x04, 0xe0, 0x2d, 0xe5 }; /* push {lr} */
push_arm_le       498 scripts/recordmcount.c 		push_arm = push_arm_le;