On 27/02/17 17:15, Walfred Tedeschi wrote:
> +
> +@smallexample
> +     $ break *upper
> +     Breakpoint 2 at 0x4009de: file i386-mpx-call.c, line 47.
> +     $ print upper (a, b, c, d, 1)
> +     Breakpoint 2, upper (a=0x0, b=0x6e0000005b, c=0x0, d=0x0, len=48)....
> +     $ print $bnd0
> +     {lbound = 0x0, ubound = ffffffff} : size -1
> +@end smallexample

This caused "make html" failure, and it looks to me is missing @ before {.

I will commit this patch as obvious.

gdb/
2017-03-08  Jiong Wangg  <jiong.wang@arm.com>

         * doc/gdb.texinfo (Memory Protection Extensions): Add missing escape
         character "@".