gdb, debugging, inline assembly in C

show disassembly-flavor

(e.g., mov dest,src for intel syntax (windows),  mov src,dest for AT&T(unix-like))

disp/i $pc

si