Add support for accessing printf, sprintf, puts, etc. strings that do not lie in the MCU data space

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@3738 42af7a65-404d-4744-a932-0658087f49c3

include/stdint.h

@@ -282,6 +282,15 @@ typedef _uint64_t    uint_fast64_t;
 typedef _intptr_t    intptr_t;
 typedef _uintptr_t   uintptr_t;
 
+/* Some architectures support a FAR pointer which is larger then the normal
+ * (near) pointer
+ */
+
+#ifdef CONFIG_HAVE_FARPOINTER
+typedef _int_farptr_t    int_farptr_t;
+typedef _uint_farptr_t   uint_farptr_t;
+#endif
+
 /* Greatest-width integer types */
 
 #ifdef __INT64_DEFINED