Re: [PATCH 2/2] gdb/doc: describe x87 registers

[Pedro Alves <pedro@palves.net>]

On 2023-09-08 16:20, Simon Marchi via Gdb-patches wrote:
> While investigating this [1], I initially had no idea what register
> "fioff" stood for, making it difficult to map it to something in the
> Intel or AMD manuals.  Similarly, I can imaging someone familiar with
> x87 to want to print the "x87 last instruction address", and have no
> clue that GDB makes it available as register "fioff".  The names of the
> x87 state fields don't seem to be standardized, they even change between
> sections of the Intel manual (between the FSAVE, FXSAVE and XSAVE area
> descriptions).
> 
> Add some details to the doc to help one map GDB register names to x87
> state fields.
> 

Thanks for implementing this!  Just one nit below:

> +@subsubsection x87 registers
> +
> +GDB provides access to the x87 state through the following registers:

GDB -> @value{GDBN}