I'm getting this in the disassembly for EXT instructions: 0x3ffa817fc1c: .inst 0x6e0640c0 ; undefined 0x3ffa817fc20: .inst 0x6e104201 ; undefined This is GNU gdb (GDB) 7.10.50.20150810-cvs, built recently. Any ideas? Thanks, Andrew.