Searched refs:short_ndx (Results 1 – 1 of 1) sorted by relevance
1030 unsigned int short_ndx = (unsigned int) (ndx & 0xffff); in printable_section_name_from_index() local1033 sprintf (name_buf, "PRC[0x%04x]", short_ndx); in printable_section_name_from_index()1035 sprintf (name_buf, "OS [0x%04x]", short_ndx); in printable_section_name_from_index()1037 sprintf (name_buf, "RSV[0x%04x]", short_ndx); in printable_section_name_from_index()