ideal_nop2_thumb_be  255 scripts/recordmcount.c static unsigned char ideal_nop2_thumb_be[2] = { 0xbf, 0x00 }; /* nop */
ideal_nop2_thumb_be  512 scripts/recordmcount.c 		ideal_nop2_thumb = ideal_nop2_thumb_be;