1 #objdump: -p 2 #as: -mshort-double 3 #name: Elf flags XGATE 16-bit int, 32-bit double 4 #source: abi.s 5 6 .*: +file format elf32\-xgate 7 private flags = 80:\[abi=16-bit int, 32-bit double, cpu=XGATE\] 8 9