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