x86 - Using GDB to read MSRs

Question

Is there some way to read the x86-64 model-specific registers, specifically IA32_FS_BASE and IA32_GS_BASE, while debugging a program using GDB?

Less preferable would be a solution using a dynamic instrumentation package like Intel's Pintool, but it would be appreciated all the same.

Answer 1

Since gdb 8 the registers $fs_base and $gs_base are also available. These work in code dumps too, not just live programs.