push_bl_mcount_thumb_be  259 scripts/recordmcount.c static unsigned char push_bl_mcount_thumb_be[6] = { 0xb5, 0x00, 0xf7, 0xff, 0xff, 0xfe }; /* push {lr}, bl */
push_bl_mcount_thumb_be  513 scripts/recordmcount.c 		push_bl_mcount_thumb = push_bl_mcount_thumb_be;