Searched refs:DW_ATE_HP_float80 (Results 1 – 7 of 7) sorted by relevance
620 DW_ATE_HP_float80 = 0x80, /* Floating-point (80 bit). */ enumerator
656 DW_ATE (DW_ATE_HP_float80, 0x80) /* Floating-point (80 bit). */
628 DW_ATE (DW_ATE_HP_float80, 0x80) /* Floating-point (80 bit). */
728 DW_ATE (DW_ATE_HP_float80, 0x80) /* Floating-point (80 bit). */
736 DW_ATE (DW_ATE_HP_float80, 0x80) /* Floating-point (80 bit). */
2007 case DW_ATE_HP_float80: printf ("(HP_float80)"); break; in read_and_display_attr_value()
2716 case DW_ATE_HP_float80: printf ("(HP_float80)"); break; in read_and_display_attr_value()