Есть ли способ прочитать регистры, специфичные для модели x86-64, в частности IA32_FS_BASE и IA32_GS_BASE, при отладке программы с использованием GDB?
Менее предпочтительным было бы решение с использованием динамического пакета инструментов, такого как Pintool от Intel, но оно все равно будет оценено по достоинству.