On 02/20/2018 06:33 PM, Steve Ellcey wrote:
+@deftypefn {Built-in Function} Pmode __builtin_extend_pointer (void * x)
+On targets where the user visible pointer size is different than the size
+of an actual hardware address this function returns the extended user
+pointer. Targets where this is true included ILP32 mode on x86_64 or
+Aarch64. This function is mainly useful when writing inline assembly
+code.
+@var{addr}
+@end deftypefn
Hi,
I think the "@var{addr}" bit is a pasto.
Thanks,
- Tom
