c6d234
commit 70d9946a44ba381f81eb08c71cc150315cc112ad
c6d234
Author: Joseph Myers <joseph@codesourcery.com>
c6d234
Date:   Wed Feb 13 23:30:40 2013 +0000
c6d234
c6d234
    Remove __ptrvalue, __bounded and __unbounded.
c6d234
c6d234
Conflicts:
c6d234
	sysdeps/sparc/backtrace.c
c6d234
c6d234
The changes to that file have been applied to
c6d234
sysdeps/sparc/sparc64/backtrace.c instead.
c6d234
c6d234
The installed header <sys/cdefs.h> is not changed, so the
c6d234
misc/sys/cdefs.h change is excluded from the backport.
c6d234
c6d234
diff --git a/csu/libc-start.c b/csu/libc-start.c
c6d234
index 2fab8556a5e2cb26..63757062c730c81a 100644
c6d234
--- a/csu/libc-start.c
c6d234
+++ b/csu/libc-start.c
c6d234
@@ -107,14 +107,14 @@ apply_irel (void)
c6d234
 STATIC int LIBC_START_MAIN (int (*main) (int, char **, char **
c6d234
 					 MAIN_AUXVEC_DECL),
c6d234
 			    int argc,
c6d234
-			    char *__unbounded *__unbounded ubp_av,
c6d234
+			    char **argv,
c6d234
 #ifdef LIBC_START_MAIN_AUXVEC_ARG
c6d234
-			    ElfW(auxv_t) *__unbounded auxvec,
c6d234
+			    ElfW(auxv_t) *auxvec,
c6d234
 #endif
c6d234
 			    __typeof (main) init,
c6d234
 			    void (*fini) (void),
c6d234
 			    void (*rtld_fini) (void),
c6d234
-			    void *__unbounded stack_end)
c6d234
+			    void *stack_end)
c6d234
      __attribute__ ((noreturn));
c6d234
 
c6d234
 
c6d234
@@ -123,29 +123,23 @@ STATIC int LIBC_START_MAIN (int (*main) (int, char **, char **
c6d234
    finalizers were called in more than one place.  */
c6d234
 STATIC int
c6d234
 LIBC_START_MAIN (int (*main) (int, char **, char ** MAIN_AUXVEC_DECL),
c6d234
-		 int argc, char *__unbounded *__unbounded ubp_av,
c6d234
+		 int argc, char **argv,
c6d234
 #ifdef LIBC_START_MAIN_AUXVEC_ARG
c6d234
-		 ElfW(auxv_t) *__unbounded auxvec,
c6d234
+		 ElfW(auxv_t) *auxvec,
c6d234
 #endif
c6d234
 		 __typeof (main) init,
c6d234
 		 void (*fini) (void),
c6d234
-		 void (*rtld_fini) (void), void *__unbounded stack_end)
c6d234
+		 void (*rtld_fini) (void), void *stack_end)
c6d234
 {
c6d234
-#if __BOUNDED_POINTERS__
c6d234
-  char **argv;
c6d234
-#else
c6d234
-# define argv ubp_av
c6d234
-#endif
c6d234
-
c6d234
   /* Result of the 'main' function.  */
c6d234
   int result;
c6d234
 
c6d234
   __libc_multiple_libcs = &_dl_starting_up && !_dl_starting_up;
c6d234
 
c6d234
 #ifndef SHARED
c6d234
-  char *__unbounded *__unbounded ubp_ev = &ubp_av[argc + 1];
c6d234
+  char **ev = &argv[argc + 1];
c6d234
 
c6d234
-  __environ = ubp_ev;
c6d234
+  __environ = ev;
c6d234
 
c6d234
   /* Store the lowest stack address.  This is done in ld.so if this is
c6d234
      the code for the DSO.  */
c6d234
@@ -155,12 +149,12 @@ LIBC_START_MAIN (int (*main) (int, char **, char ** MAIN_AUXVEC_DECL),
c6d234
   /* First process the auxiliary vector since we need to find the
c6d234
      program header to locate an eventually present PT_TLS entry.  */
c6d234
 #  ifndef LIBC_START_MAIN_AUXVEC_ARG
c6d234
-  ElfW(auxv_t) *__unbounded auxvec;
c6d234
+  ElfW(auxv_t) *auxvec;
c6d234
   {
c6d234
-    char *__unbounded *__unbounded evp = ubp_ev;
c6d234
+    char **evp = ev;
c6d234
     while (*evp++ != NULL)
c6d234
       ;
c6d234
-    auxvec = (ElfW(auxv_t) *__unbounded) evp;
c6d234
+    auxvec = (ElfW(auxv_t) *) evp;
c6d234
   }
c6d234
 #  endif
c6d234
   _dl_aux_init (auxvec);
c6d234
diff --git a/debug/backtrace.c b/debug/backtrace.c
c6d234
index d0785329a2514e20..0537f6655e62be49 100644
c6d234
--- a/debug/backtrace.c
c6d234
+++ b/debug/backtrace.c
c6d234
@@ -63,8 +63,8 @@ __backtrace (array, size)
c6d234
      int size;
c6d234
 {
c6d234
   struct layout *current;
c6d234
-  void *__unbounded top_frame;
c6d234
-  void *__unbounded top_stack;
c6d234
+  void *top_frame;
c6d234
+  void *top_stack;
c6d234
   int cnt = 0;
c6d234
 
c6d234
   top_frame = FIRST_FRAME_POINTER;
c6d234
diff --git a/elf/dl-runtime.c b/elf/dl-runtime.c
c6d234
index 19543aa44b84cac2..de55b2676fc80645 100644
c6d234
--- a/elf/dl-runtime.c
c6d234
+++ b/elf/dl-runtime.c
c6d234
@@ -62,9 +62,7 @@ _dl_fixup (
c6d234
 # ifdef ELF_MACHINE_RUNTIME_FIXUP_ARGS
c6d234
 	   ELF_MACHINE_RUNTIME_FIXUP_ARGS,
c6d234
 # endif
c6d234
-	   /* GKM FIXME: Fix trampoline to pass bounds so we can do
c6d234
-	      without the `__unbounded' qualifier.  */
c6d234
-	   struct link_map *__unbounded l, ElfW(Word) reloc_arg)
c6d234
+	   struct link_map *l, ElfW(Word) reloc_arg)
c6d234
 {
c6d234
   const ElfW(Sym) *const symtab
c6d234
     = (const void *) D_PTR (l, l_info[DT_SYMTAB]);
c6d234
diff --git a/include/set-hooks.h b/include/set-hooks.h
c6d234
index 74c03acb0d81acdc..8c902fa18195fa46 100644
c6d234
--- a/include/set-hooks.h
c6d234
+++ b/include/set-hooks.h
c6d234
@@ -41,7 +41,7 @@
c6d234
 
c6d234
 # define RUN_HOOK(NAME, ARGS)						      \
c6d234
 do {									      \
c6d234
-  void *const *__unbounded ptr;						      \
c6d234
+  void *const *ptr;						      \
c6d234
   for (ptr = (void *const *) symbol_set_first_element (NAME);		      \
c6d234
        ! symbol_set_end_p (NAME, ptr); ++ptr)				      \
c6d234
     (*(__##NAME##_hook_function_t *) *ptr) ARGS;			      \
c6d234
diff --git a/ports/sysdeps/am33/dl-machine.h b/ports/sysdeps/am33/dl-machine.h
c6d234
index 52278c0a4e006563..90083c7dc45fc602 100644
c6d234
--- a/ports/sysdeps/am33/dl-machine.h
c6d234
+++ b/ports/sysdeps/am33/dl-machine.h
c6d234
@@ -63,9 +63,7 @@ elf_machine_load_address (void)
c6d234
 
c6d234
    We cannot use this scheme for profiling because the _mcount call
c6d234
    destroys the passed register information.  */
c6d234
-/* GKM FIXME: Fix trampoline to pass bounds so we can do
c6d234
-   without the `__unbounded' qualifier.  */
c6d234
-static ElfW(Addr) fixup (struct link_map *__unbounded l, ElfW(Word) reloc_offset)
c6d234
+static ElfW(Addr) fixup (struct link_map *l, ElfW(Word) reloc_offset)
c6d234
      __attribute__ ((unused));
c6d234
 static ElfW(Addr) profile_fixup (struct link_map *l, ElfW(Word) reloc_offset,
c6d234
 				 ElfW(Addr) retaddr)
c6d234
diff --git a/ports/sysdeps/arm/frame.h b/ports/sysdeps/arm/frame.h
c6d234
index a98729b6887722ed..268f8b250f033f0f 100644
c6d234
--- a/ports/sysdeps/arm/frame.h
c6d234
+++ b/ports/sysdeps/arm/frame.h
c6d234
@@ -19,9 +19,9 @@
c6d234
 /* This is the APCS stack backtrace structure.  */
c6d234
 struct layout
c6d234
 {
c6d234
-  struct layout *__unbounded next;
c6d234
-  void *__unbounded sp;
c6d234
-  void *__unbounded return_address;
c6d234
+  struct layout *next;
c6d234
+  void *sp;
c6d234
+  void *return_address;
c6d234
 };
c6d234
 
c6d234
 #define FIRST_FRAME_POINTER ADVANCE_STACK_FRAME (__builtin_frame_address (0))
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/aarch64/sigaction.c b/ports/sysdeps/unix/sysv/linux/aarch64/sigaction.c
c6d234
index 811230a1fdec983f..1db848f06e9fb072 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/aarch64/sigaction.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/aarch64/sigaction.c
c6d234
@@ -51,8 +51,8 @@ __libc_sigaction (int sig, const struct sigaction *act, struct sigaction *oact)
c6d234
     }
c6d234
 
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4, sig,
c6d234
-			   act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL, _NSIG / 8);
c6d234
+			   act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL, _NSIG / 8);
c6d234
   if (result >= 0 || errno != ENOSYS)
c6d234
     {
c6d234
       if (oact && result >= 0)
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/alpha/sigaction.c b/ports/sysdeps/unix/sysv/linux/alpha/sigaction.c
c6d234
index 2dcb133442a4636a..14b47feee06c43b0 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/alpha/sigaction.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/alpha/sigaction.c
c6d234
@@ -32,7 +32,7 @@
c6d234
          : INLINE_SYSCALL1(name, nr, args))
c6d234
 
c6d234
 struct kernel_sigaction;
c6d234
-extern int __syscall_rt_sigaction (int, const struct kernel_sigaction *__unbounded,
c6d234
-				   struct kernel_sigaction *__unbounded, size_t);
c6d234
+extern int __syscall_rt_sigaction (int, const struct kernel_sigaction *,
c6d234
+				   struct kernel_sigaction *, size_t);
c6d234
 
c6d234
 #include <sysdeps/unix/sysv/linux/sigaction.c>
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/am33/brk.c b/ports/sysdeps/unix/sysv/linux/am33/brk.c
c6d234
index a06495cf29d5d67b..dc7ec639b3a558c0 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/am33/brk.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/am33/brk.c
c6d234
@@ -30,7 +30,7 @@ __brk (void *addr)
c6d234
 {
c6d234
   void *newbrk;
c6d234
 
c6d234
-  newbrk = INLINE_SYSCALL (brk, 1, __ptrvalue (addr));
c6d234
+  newbrk = INLINE_SYSCALL (brk, 1, addr);
c6d234
 
c6d234
   __curbrk = newbrk;
c6d234
 
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/arm/sigaction.c b/ports/sysdeps/unix/sysv/linux/arm/sigaction.c
c6d234
index fe036c1bdc6660b0..02b47e79e2139e0e 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/arm/sigaction.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/arm/sigaction.c
c6d234
@@ -83,8 +83,8 @@ __libc_sigaction (sig, act, oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.  */
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4, sig,
c6d234
-			   act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL, _NSIG / 8);
c6d234
+			   act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL, _NSIG / 8);
c6d234
 
c6d234
   if (oact && result >= 0)
c6d234
     {
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c b/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c
c6d234
index dda02b14442d5cb5..2006bc69d80720ba 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c
c6d234
@@ -34,7 +34,7 @@ __fxstat64 (int vers, int fd, struct stat64 *buf)
c6d234
   int result;
c6d234
   struct kernel_stat kbuf;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (fstat, 2, fd, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (fstat, 2, fd, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat64_conv (vers, &kbuf, buf);
c6d234
 
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstatat64.c b/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstatat64.c
c6d234
index 645ffa122ea62de6..5c795e47a977baaa 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstatat64.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/mips/mips64/fxstatat64.c
c6d234
@@ -95,9 +95,9 @@ __fxstatat64 (int vers, int fd, const char *file, struct stat64 *st, int flag)
c6d234
     }
c6d234
 
c6d234
   if (flag & AT_SYMLINK_NOFOLLOW)
c6d234
-    result = INTERNAL_SYSCALL (lstat, err, 2, file, __ptrvalue (&kst));
c6d234
+    result = INTERNAL_SYSCALL (lstat, err, 2, file, &kst;;
c6d234
   else
c6d234
-    result = INTERNAL_SYSCALL (stat, err, 2, file, __ptrvalue (&kst));
c6d234
+    result = INTERNAL_SYSCALL (stat, err, 2, file, &kst;;
c6d234
 
c6d234
   if (__builtin_expect (!INTERNAL_SYSCALL_ERROR_P (result, err), 1))
c6d234
     return __xstat64_conv (vers, &kst, st);
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/mips/mips64/lxstat64.c b/ports/sysdeps/unix/sysv/linux/mips/mips64/lxstat64.c
c6d234
index f698d9298a3855e6..a59e2bb389238751 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/mips/mips64/lxstat64.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/mips/mips64/lxstat64.c
c6d234
@@ -33,7 +33,7 @@ __lxstat64 (int vers, const char *name, struct stat64 *buf)
c6d234
   int result;
c6d234
   struct kernel_stat kbuf;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (lstat, 2, name, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (lstat, 2, name, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat64_conv (vers, &kbuf, buf);
c6d234
 
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/mips/mips64/xstat64.c b/ports/sysdeps/unix/sysv/linux/mips/mips64/xstat64.c
c6d234
index 623299c6b8db85c4..e08c177d256108a0 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/mips/mips64/xstat64.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/mips/mips64/xstat64.c
c6d234
@@ -34,7 +34,7 @@ __xstat64 (int vers, const char *name, struct stat64 *buf)
c6d234
   int result;
c6d234
   struct kernel_stat kbuf;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (stat, 2, name, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (stat, 2, name, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat64_conv (vers, &kbuf, buf);
c6d234
 
c6d234
diff --git a/ports/sysdeps/unix/sysv/linux/mips/sigaction.c b/ports/sysdeps/unix/sysv/linux/mips/sigaction.c
c6d234
index d646af3f22928ef7..b6e6811a271344a3 100644
c6d234
--- a/ports/sysdeps/unix/sysv/linux/mips/sigaction.c
c6d234
+++ b/ports/sysdeps/unix/sysv/linux/mips/sigaction.c
c6d234
@@ -71,8 +71,8 @@ __libc_sigaction (sig, act, oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.	*/
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4, sig,
c6d234
-			   act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL,
c6d234
+			   act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL,
c6d234
 			   sizeof (kernel_sigset_t));
c6d234
 
c6d234
   if (oact && result >= 0)
c6d234
diff --git a/stdio-common/vfprintf.c b/stdio-common/vfprintf.c
c6d234
index 3e88b2c4dd513909..97805989f6db70bf 100644
c6d234
--- a/stdio-common/vfprintf.c
c6d234
+++ b/stdio-common/vfprintf.c
c6d234
@@ -308,7 +308,7 @@ vfprintf (FILE *s, const CHAR_T *format, va_list ap)
c6d234
       do								      \
c6d234
 	{								      \
c6d234
 	  int offset;							      \
c6d234
-	  void *__unbounded ptr;					      \
c6d234
+	  void *ptr;							      \
c6d234
 	  spec = (ChExpr);						      \
c6d234
 	  offset = NOT_IN_JUMP_RANGE (spec) ? REF (form_unknown)	      \
c6d234
 	    : table[CHAR_CLASS (spec)];					      \
c6d234
@@ -321,7 +321,7 @@ vfprintf (FILE *s, const CHAR_T *format, va_list ap)
c6d234
 # define JUMP(ChExpr, table)						      \
c6d234
       do								      \
c6d234
 	{								      \
c6d234
-	  const void *__unbounded ptr;					      \
c6d234
+	  const void *ptr;						      \
c6d234
 	  spec = (ChExpr);						      \
c6d234
 	  ptr = NOT_IN_JUMP_RANGE (spec) ? REF (form_unknown)		      \
c6d234
 	    : table[CHAR_CLASS (spec)];					      \
c6d234
diff --git a/string/strcpy.c b/string/strcpy.c
c6d234
index bf624947cc780328..22467bb88dc8cef8 100644
c6d234
--- a/string/strcpy.c
c6d234
+++ b/string/strcpy.c
c6d234
@@ -28,7 +28,7 @@ strcpy (dest, src)
c6d234
      const char *src;
c6d234
 {
c6d234
   char c;
c6d234
-  char *__unbounded s = (char *__unbounded) src;
c6d234
+  char *s = (char *) src;
c6d234
   const ptrdiff_t off = dest - s - 1;
c6d234
 
c6d234
   do
c6d234
diff --git a/sysdeps/generic/frame.h b/sysdeps/generic/frame.h
c6d234
index 0f24b85913aa9694..1772f8c05b6f0fa9 100644
c6d234
--- a/sysdeps/generic/frame.h
c6d234
+++ b/sysdeps/generic/frame.h
c6d234
@@ -18,6 +18,6 @@
c6d234
 
c6d234
 struct layout
c6d234
 {
c6d234
-  void *__unbounded next;
c6d234
-  void *__unbounded return_address;
c6d234
+  void *next;
c6d234
+  void *return_address;
c6d234
 };
c6d234
diff --git a/sysdeps/gnu/bits/msq.h b/sysdeps/gnu/bits/msq.h
c6d234
index 6cfc7d76e54a3742..ee9812ae111db277 100644
c6d234
--- a/sysdeps/gnu/bits/msq.h
c6d234
+++ b/sysdeps/gnu/bits/msq.h
c6d234
@@ -38,13 +38,13 @@ typedef unsigned short int msglen_t;
c6d234
 struct msqid_ds
c6d234
 {
c6d234
   struct ipc_perm msg_perm;	/* structure describing operation permission */
c6d234
-  struct msg *__unbounded __msg_first; /* pointer to first message on queue */
c6d234
-  struct msg *__unbounded __msg_last; /* pointer to last message on queue */
c6d234
+  struct msg *__msg_first;	/* pointer to first message on queue */
c6d234
+  struct msg *__msg_last;	/* pointer to last message on queue */
c6d234
   __time_t msg_stime;		/* time of last msgsnd command */
c6d234
   __time_t msg_rtime;		/* time of last msgrcv command */
c6d234
   __time_t msg_ctime;		/* time of last change */
c6d234
-  struct wait_queue *__unbounded __wwait; /* ??? */
c6d234
-  struct wait_queue *__unbounded __rwait; /* ??? */
c6d234
+  struct wait_queue *__wwait;	/* ??? */
c6d234
+  struct wait_queue *__rwait;	/* ??? */
c6d234
   unsigned short int __msg_cbytes;/* current number of bytes on queue */
c6d234
   msgqnum_t msg_qnum;		/* number of messages currently on queue */
c6d234
   msglen_t msg_qbytes;		/* max number of bytes allowed on queue */
c6d234
diff --git a/sysdeps/i386/dl-machine.h b/sysdeps/i386/dl-machine.h
c6d234
index 2f6dd4fae200c016..fc2b976651e20ca7 100644
c6d234
--- a/sysdeps/i386/dl-machine.h
c6d234
+++ b/sysdeps/i386/dl-machine.h
c6d234
@@ -152,11 +152,9 @@ elf_machine_runtime_setup (struct link_map *l, int lazy, int profile)
c6d234
 
c6d234
    We cannot use this scheme for profiling because the _mcount call
c6d234
    destroys the passed register information.  */
c6d234
-/* GKM FIXME: Fix trampoline to pass bounds so we can do
c6d234
-   without the `__unbounded' qualifier.  */
c6d234
 #define ARCH_FIXUP_ATTRIBUTE __attribute__ ((regparm (3), stdcall, unused))
c6d234
 
c6d234
-extern ElfW(Addr) _dl_fixup (struct link_map *__unbounded l,
c6d234
+extern ElfW(Addr) _dl_fixup (struct link_map *l,
c6d234
 			     ElfW(Word) reloc_offset)
c6d234
      ARCH_FIXUP_ATTRIBUTE;
c6d234
 extern ElfW(Addr) _dl_profile_fixup (struct link_map *l,
c6d234
diff --git a/sysdeps/powerpc/powerpc32/backtrace.c b/sysdeps/powerpc/powerpc32/backtrace.c
c6d234
index 0e2e5c296876444e..6fab3b586aee06d5 100644
c6d234
--- a/sysdeps/powerpc/powerpc32/backtrace.c
c6d234
+++ b/sysdeps/powerpc/powerpc32/backtrace.c
c6d234
@@ -31,8 +31,8 @@
c6d234
 */
c6d234
 struct layout
c6d234
 {
c6d234
-  struct layout *__unbounded next;
c6d234
-  void *__unbounded return_address;
c6d234
+  struct layout *next;
c6d234
+  void *return_address;
c6d234
 };
c6d234
 
c6d234
 int
c6d234
diff --git a/sysdeps/powerpc/powerpc64/backtrace.c b/sysdeps/powerpc/powerpc64/backtrace.c
c6d234
index 08e535585ef2a104..dcdd51cb454e8fa2 100644
c6d234
--- a/sysdeps/powerpc/powerpc64/backtrace.c
c6d234
+++ b/sysdeps/powerpc/powerpc64/backtrace.c
c6d234
@@ -33,9 +33,9 @@
c6d234
 */
c6d234
 struct layout
c6d234
 {
c6d234
-  struct layout *__unbounded next;
c6d234
+  struct layout *next;
c6d234
   long condition_register;
c6d234
-  void *__unbounded return_address;
c6d234
+  void *return_address;
c6d234
 };
c6d234
 
c6d234
 int
c6d234
diff --git a/sysdeps/sparc/sparc64/backtrace.c b/sysdeps/sparc/sparc64/backtrace.c
c6d234
index d5a1ebec000ce91e..f45e2b8b63ad00ed 100644
c6d234
--- a/sysdeps/sparc/sparc64/backtrace.c
c6d234
+++ b/sysdeps/sparc/sparc64/backtrace.c
c6d234
@@ -26,7 +26,7 @@ struct layout
c6d234
   unsigned long locals[8];
c6d234
   unsigned long ins[6];
c6d234
   unsigned long next;
c6d234
-  void *__unbounded return_address;
c6d234
+  void *return_address;
c6d234
 };
c6d234
 
c6d234
 int
c6d234
@@ -38,14 +38,14 @@ __backtrace (void **array, int size)
c6d234
 
c6d234
   asm volatile ("flushw");
c6d234
   asm volatile ("mov %%fp, %0" : "=r"(fp));
c6d234
-  current = (struct layout *__unbounded) (fp + STACK_BIAS);
c6d234
+  current = (struct layout *) (fp + STACK_BIAS);
c6d234
 
c6d234
   for (count = 0; count < size; count++)
c6d234
     {
c6d234
       array[count] = current->return_address;
c6d234
       if (!current->next)
c6d234
 	break;
c6d234
-      current = (struct layout *__unbounded) (current->next + STACK_BIAS);
c6d234
+      current = (struct layout *) (current->next + STACK_BIAS);
c6d234
     }
c6d234
 
c6d234
   return count;
c6d234
diff --git a/sysdeps/unix/sysv/linux/aio_sigqueue.c b/sysdeps/unix/sysv/linux/aio_sigqueue.c
c6d234
index 91785e545f18c843..9ad149fe32fb214b 100644
c6d234
--- a/sysdeps/unix/sysv/linux/aio_sigqueue.c
c6d234
+++ b/sysdeps/unix/sysv/linux/aio_sigqueue.c
c6d234
@@ -48,8 +48,7 @@ __aio_sigqueue (sig, val, caller_pid)
c6d234
   info.si_uid = getuid ();
c6d234
   info.si_value = val;
c6d234
 
c6d234
-  return INLINE_SYSCALL (rt_sigqueueinfo, 3, info.si_pid,
c6d234
-			 sig, __ptrvalue (&info));
c6d234
+  return INLINE_SYSCALL (rt_sigqueueinfo, 3, info.si_pid, sig, &info;;
c6d234
 }
c6d234
 #else
c6d234
 # include <rt/aio_sigqueue.c>
c6d234
diff --git a/sysdeps/unix/sysv/linux/fxstat.c b/sysdeps/unix/sysv/linux/fxstat.c
c6d234
index 369ceb818267086c..e3cf3d8e284beb65 100644
c6d234
--- a/sysdeps/unix/sysv/linux/fxstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/fxstat.c
c6d234
@@ -45,7 +45,7 @@ __fxstat (int vers, int fd, struct stat *buf)
c6d234
   struct kernel_stat kbuf;
c6d234
   int result;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (fstat, 2, fd, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (fstat, 2, fd, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat_conv (vers, &kbuf, buf);
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/fxstatat.c b/sysdeps/unix/sysv/linux/fxstatat.c
c6d234
index 127f979adf050b45..b4397b54ada455f0 100644
c6d234
--- a/sysdeps/unix/sysv/linux/fxstatat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/fxstatat.c
c6d234
@@ -125,9 +125,9 @@ __fxstatat (int vers, int fd, const char *file, struct stat *st, int flag)
c6d234
     }
c6d234
 #else
c6d234
   if (flag & AT_SYMLINK_NOFOLLOW)
c6d234
-    result = INTERNAL_SYSCALL (lstat, err, 2, file, __ptrvalue (&kst));
c6d234
+    result = INTERNAL_SYSCALL (lstat, err, 2, file, &kst;;
c6d234
   else
c6d234
-    result = INTERNAL_SYSCALL (stat, err, 2, file, __ptrvalue (&kst));
c6d234
+    result = INTERNAL_SYSCALL (stat, err, 2, file, &kst;;
c6d234
 
c6d234
   if (__builtin_expect (!INTERNAL_SYSCALL_ERROR_P (result, err), 1))
c6d234
     return __xstat_conv (vers, &kst, st);
c6d234
diff --git a/sysdeps/unix/sysv/linux/gai_sigqueue.c b/sysdeps/unix/sysv/linux/gai_sigqueue.c
c6d234
index f517f9c850069cab..3896df0cd345bc8b 100644
c6d234
--- a/sysdeps/unix/sysv/linux/gai_sigqueue.c
c6d234
+++ b/sysdeps/unix/sysv/linux/gai_sigqueue.c
c6d234
@@ -47,8 +47,7 @@ __gai_sigqueue (sig, val, caller_pid)
c6d234
   info.si_uid = __getuid ();
c6d234
   info.si_value = val;
c6d234
 
c6d234
-  return INLINE_SYSCALL (rt_sigqueueinfo, 3, info.si_pid,
c6d234
-			 sig, __ptrvalue (&info));
c6d234
+  return INLINE_SYSCALL (rt_sigqueueinfo, 3, info.si_pid, sig, &info;;
c6d234
 }
c6d234
 #else
c6d234
 # include <resolv/gai_sigqueue.c>
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/brk.c b/sysdeps/unix/sysv/linux/i386/brk.c
c6d234
index 0b367096f47007ce..c785b68b5fc2c6b5 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/brk.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/brk.c
c6d234
@@ -31,11 +31,10 @@ weak_alias (__curbrk, ___brk_addr)
c6d234
 int
c6d234
 __brk (void *addr)
c6d234
 {
c6d234
-  void *__unbounded newbrk;
c6d234
+  void *newbrk;
c6d234
 
c6d234
   INTERNAL_SYSCALL_DECL (err);
c6d234
-  newbrk = (void *__unbounded) INTERNAL_SYSCALL (brk, err, 1,
c6d234
-						 __ptrvalue (addr));
c6d234
+  newbrk = (void *) INTERNAL_SYSCALL (brk, err, 1, addr);
c6d234
 
c6d234
   __curbrk = newbrk;
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/fxstat.c b/sysdeps/unix/sysv/linux/i386/fxstat.c
c6d234
index 323039927e1687a3..64cf4c0f75c3bd8b 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/fxstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/fxstat.c
c6d234
@@ -44,7 +44,7 @@ __fxstat (int vers, int fd, struct stat *buf)
c6d234
   {
c6d234
     struct stat64 buf64;
c6d234
 
c6d234
-    result = INLINE_SYSCALL (fstat64, 2, fd, __ptrvalue (&buf64));
c6d234
+    result = INLINE_SYSCALL (fstat64, 2, fd, &buf64);
c6d234
     if (result == 0)
c6d234
       result = __xstat32_conv (vers, &buf64, buf);
c6d234
     return result;
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/fxstatat.c b/sysdeps/unix/sysv/linux/i386/fxstatat.c
c6d234
index ad3a386864f8b04b..2125ce7d7673c841 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/fxstatat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/fxstatat.c
c6d234
@@ -110,9 +110,9 @@ __fxstatat (int vers, int fd, const char *file, struct stat *st, int flag)
c6d234
     }
c6d234
 
c6d234
   if (flag & AT_SYMLINK_NOFOLLOW)
c6d234
-    result = INTERNAL_SYSCALL (lstat64, err, 2, file, __ptrvalue (&st64));
c6d234
+    result = INTERNAL_SYSCALL (lstat64, err, 2, file, &st64);
c6d234
   else
c6d234
-    result = INTERNAL_SYSCALL (stat64, err, 2, file, __ptrvalue (&st64));
c6d234
+    result = INTERNAL_SYSCALL (stat64, err, 2, file, &st64);
c6d234
   if (__builtin_expect (!INTERNAL_SYSCALL_ERROR_P (result, err), 1))
c6d234
     return __xstat32_conv (vers, &st64, st);
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/lxstat.c b/sysdeps/unix/sysv/linux/i386/lxstat.c
c6d234
index 97b237404f8c8822..bc2d27a1739ca3c2 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/lxstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/lxstat.c
c6d234
@@ -45,7 +45,7 @@ __lxstat (int vers, const char *name, struct stat *buf)
c6d234
   {
c6d234
     struct stat64 buf64;
c6d234
 
c6d234
-    result = INLINE_SYSCALL (lstat64, 2, name, __ptrvalue (&buf64));
c6d234
+    result = INLINE_SYSCALL (lstat64, 2, name, &buf64);
c6d234
     if (result == 0)
c6d234
       result = __xstat32_conv (vers, &buf64, buf);
c6d234
     return result;
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/msgctl.c b/sysdeps/unix/sysv/linux/i386/msgctl.c
c6d234
index 7d009801b16fbdba..d63b0b4b46134185 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/msgctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/msgctl.c
c6d234
@@ -29,13 +29,13 @@
c6d234
 struct __old_msqid_ds
c6d234
 {
c6d234
   struct __old_ipc_perm msg_perm;	/* structure describing operation permission */
c6d234
-  struct msg *__unbounded __msg_first;	/* pointer to first message on queue */
c6d234
-  struct msg *__unbounded __msg_last;	/* pointer to last message on queue */
c6d234
+  struct msg *__msg_first;		/* pointer to first message on queue */
c6d234
+  struct msg *__msg_last;		/* pointer to last message on queue */
c6d234
   __time_t msg_stime;			/* time of last msgsnd command */
c6d234
   __time_t msg_rtime;			/* time of last msgrcv command */
c6d234
   __time_t msg_ctime;			/* time of last change */
c6d234
-  struct wait_queue *__unbounded __wwait; /* ??? */
c6d234
-  struct wait_queue *__unbounded __rwait; /* ??? */
c6d234
+  struct wait_queue *__wwait;		/* ??? */
c6d234
+  struct wait_queue *__rwait;		/* ??? */
c6d234
   unsigned short int __msg_cbytes;	/* current number of bytes on queue */
c6d234
   unsigned short int msg_qnum;		/* number of messages currently on queue */
c6d234
   unsigned short int msg_qbytes;	/* max number of bytes allowed on queue */
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/setrlimit.c b/sysdeps/unix/sysv/linux/i386/setrlimit.c
c6d234
index 7d0840ded5fe3c70..9c6f5dd64ddf27cf 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/setrlimit.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/setrlimit.c
c6d234
@@ -24,7 +24,7 @@
c6d234
 #include <shlib-compat.h>
c6d234
 
c6d234
 extern int __new_setrlimit (enum __rlimit_resource resource,
c6d234
-			    const struct rlimit *__unboundedrlimits);
c6d234
+			    const struct rlimit *rlimits);
c6d234
 
c6d234
 /* Consider moving to syscalls.list.  */
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/shmctl.c b/sysdeps/unix/sysv/linux/i386/shmctl.c
c6d234
index a1f4feb3fe1c815c..59d07d7ee09579ef 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/shmctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/shmctl.c
c6d234
@@ -38,8 +38,8 @@ struct __old_shmid_ds
c6d234
   __ipc_pid_t shm_lpid;			/* pid of last shmop */
c6d234
   unsigned short int shm_nattch;	/* number of current attaches */
c6d234
   unsigned short int __shm_npages;	/* size of segment (pages) */
c6d234
-  unsigned long int *__unbounded __shm_pages; /* array of ptrs to frames -> SHMMAX */
c6d234
-  struct vm_area_struct *__unbounded __attaches; /* descriptors for attaches */
c6d234
+  unsigned long int *__shm_pages;	/* array of ptrs to frames -> SHMMAX */
c6d234
+  struct vm_area_struct *__attaches;	/* descriptors for attaches */
c6d234
 };
c6d234
 
c6d234
 struct __old_shminfo
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/sigaction.c b/sysdeps/unix/sysv/linux/i386/sigaction.c
c6d234
index df5c235e5ac271dc..414ef759a97363c4 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/sigaction.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/sigaction.c
c6d234
@@ -72,8 +72,8 @@ __libc_sigaction (int sig, const struct sigaction *act, struct sigaction *oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.  */
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4,
c6d234
-			   sig, act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL, _NSIG / 8);
c6d234
+			   sig, act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL, _NSIG / 8);
c6d234
 
c6d234
   if (oact && result >= 0)
c6d234
     {
c6d234
diff --git a/sysdeps/unix/sysv/linux/i386/xstat.c b/sysdeps/unix/sysv/linux/i386/xstat.c
c6d234
index f063ac98d849ed7b..049e70fa7f007896 100644
c6d234
--- a/sysdeps/unix/sysv/linux/i386/xstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/i386/xstat.c
c6d234
@@ -45,7 +45,7 @@ __xstat (int vers, const char *name, struct stat *buf)
c6d234
   {
c6d234
     struct stat64 buf64;
c6d234
 
c6d234
-    result = INLINE_SYSCALL (stat64, 2, name, __ptrvalue (&buf64));
c6d234
+    result = INLINE_SYSCALL (stat64, 2, name, &buf64);
c6d234
     if (result == 0)
c6d234
       result = __xstat32_conv (vers, &buf64, buf);
c6d234
     return result;
c6d234
diff --git a/sysdeps/unix/sysv/linux/llseek.c b/sysdeps/unix/sysv/linux/llseek.c
c6d234
index feef9aaaf9dcf853..6608a2145c680cb9 100644
c6d234
--- a/sysdeps/unix/sysv/linux/llseek.c
c6d234
+++ b/sysdeps/unix/sysv/linux/llseek.c
c6d234
@@ -32,7 +32,7 @@ __llseek (int fd, loff_t offset, int whence)
c6d234
 
c6d234
   return (loff_t) (INLINE_SYSCALL (_llseek, 5, fd, (off_t) (offset >> 32),
c6d234
 				   (off_t) (offset & 0xffffffff),
c6d234
-				   __ptrvalue (&retval), whence) ?: retval);
c6d234
+				   &retval, whence) ?: retval);
c6d234
 }
c6d234
 weak_alias (__llseek, llseek)
c6d234
 strong_alias (__llseek, __libc_lseek64)
c6d234
diff --git a/sysdeps/unix/sysv/linux/lxstat.c b/sysdeps/unix/sysv/linux/lxstat.c
c6d234
index 15f93b09ec1661f1..1096b981f5560eb8 100644
c6d234
--- a/sysdeps/unix/sysv/linux/lxstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/lxstat.c
c6d234
@@ -44,7 +44,7 @@ __lxstat (int vers, const char *name, struct stat *buf)
c6d234
   struct kernel_stat kbuf;
c6d234
   int result;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (lstat, 2, name, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (lstat, 2, name, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat_conv (vers, &kbuf, buf);
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/mmap64.c b/sysdeps/unix/sysv/linux/mmap64.c
c6d234
index 87bd532c5e350c56..2c8304d860f19d58 100644
c6d234
--- a/sysdeps/unix/sysv/linux/mmap64.c
c6d234
+++ b/sysdeps/unix/sysv/linux/mmap64.c
c6d234
@@ -53,14 +53,10 @@ __mmap64 (void *addr, size_t len, int prot, int flags, int fd, off64_t offset)
c6d234
       return MAP_FAILED;
c6d234
     }
c6d234
   void *result;
c6d234
-  __ptrvalue (result) = (void *__unbounded)
c6d234
-    INLINE_SYSCALL (mmap2, 6, __ptrvalue (addr),
c6d234
+  result = (void *)
c6d234
+    INLINE_SYSCALL (mmap2, 6, addr,
c6d234
 		    len, prot, flags, fd,
c6d234
 		    (off_t) (offset >> MMAP2_PAGE_SHIFT));
c6d234
-#if __BOUNDED_POINTERS__
c6d234
-  __ptrlow (result) = __ptrvalue (result);
c6d234
-  __ptrhigh (result) = __ptrvalue (result) + len;
c6d234
-#endif
c6d234
   return result;
c6d234
 }
c6d234
 weak_alias (__mmap64, mmap64)
c6d234
diff --git a/sysdeps/unix/sysv/linux/msgctl.c b/sysdeps/unix/sysv/linux/msgctl.c
c6d234
index 00285a7103d70cea..09d4dc11f779a63f 100644
c6d234
--- a/sysdeps/unix/sysv/linux/msgctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/msgctl.c
c6d234
@@ -31,13 +31,13 @@
c6d234
 struct __old_msqid_ds
c6d234
 {
c6d234
   struct __old_ipc_perm msg_perm;	/* structure describing operation permission */
c6d234
-  struct msg *__unbounded __msg_first;	/* pointer to first message on queue */
c6d234
-  struct msg *__unbounded __msg_last;	/* pointer to last message on queue */
c6d234
+  struct msg *__msg_first;		/* pointer to first message on queue */
c6d234
+  struct msg *__msg_last;		/* pointer to last message on queue */
c6d234
   __time_t msg_stime;			/* time of last msgsnd command */
c6d234
   __time_t msg_rtime;			/* time of last msgrcv command */
c6d234
   __time_t msg_ctime;			/* time of last change */
c6d234
-  struct wait_queue *__unbounded __wwait; /* ??? */
c6d234
-  struct wait_queue *__unbounded __rwait; /* ??? */
c6d234
+  struct wait_queue *__wwait;		/* ??? */
c6d234
+  struct wait_queue *__rwait;		/* ??? */
c6d234
   unsigned short int __msg_cbytes;	/* current number of bytes on queue */
c6d234
   unsigned short int msg_qnum;		/* number of messages currently on queue */
c6d234
   unsigned short int msg_qbytes;	/* max number of bytes allowed on queue */
c6d234
@@ -104,8 +104,7 @@ __new_msgctl (int msqid, int cmd, struct msqid_ds *buf)
c6d234
 	    return -1;
c6d234
 	  }
c6d234
       }
c6d234
-    result = INLINE_SYSCALL (ipc, 5, IPCOP_msgctl,
c6d234
-			     msqid, cmd, 0, __ptrvalue (&old));
c6d234
+    result = INLINE_SYSCALL (ipc, 5, IPCOP_msgctl, msqid, cmd, 0, &old;;
c6d234
     if (result != -1 && cmd != IPC_SET)
c6d234
       {
c6d234
 	memset(buf, 0, sizeof(*buf));
c6d234
diff --git a/sysdeps/unix/sysv/linux/msgrcv.c b/sysdeps/unix/sysv/linux/msgrcv.c
c6d234
index dc0e34fe3d7f2ffd..a3085abda24d4512 100644
c6d234
--- a/sysdeps/unix/sysv/linux/msgrcv.c
c6d234
+++ b/sysdeps/unix/sysv/linux/msgrcv.c
c6d234
@@ -27,7 +27,7 @@
c6d234
    arguments to a system call.  */
c6d234
 struct ipc_kludge
c6d234
   {
c6d234
-    void *__unbounded msgp;
c6d234
+    void *msgp;
c6d234
     long int msgtyp;
c6d234
   };
c6d234
 
c6d234
@@ -48,13 +48,12 @@ __libc_msgrcv (msqid, msgp, msgsz, msgtyp, msgflg)
c6d234
   tmp.msgtyp = msgtyp;
c6d234
 
c6d234
   if (SINGLE_THREAD_P)
c6d234
-    return INLINE_SYSCALL (ipc, 5, IPCOP_msgrcv, msqid, msgsz, msgflg,
c6d234
-			   __ptrvalue (&tmp));
c6d234
+    return INLINE_SYSCALL (ipc, 5, IPCOP_msgrcv, msqid, msgsz, msgflg, &tmp);
c6d234
 
c6d234
   int oldtype = LIBC_CANCEL_ASYNC ();
c6d234
 
c6d234
   ssize_t result = INLINE_SYSCALL (ipc, 5, IPCOP_msgrcv, msqid, msgsz, msgflg,
c6d234
-				   __ptrvalue (&tmp));
c6d234
+				   &tmp);
c6d234
 
c6d234
    LIBC_CANCEL_RESET (oldtype);
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/powerpc/libc-start.c b/sysdeps/unix/sysv/linux/powerpc/libc-start.c
c6d234
index 89de1aa7e6e1df59..078d6c7ca99c7203 100644
c6d234
--- a/sysdeps/unix/sysv/linux/powerpc/libc-start.c
c6d234
+++ b/sysdeps/unix/sysv/linux/powerpc/libc-start.c
c6d234
@@ -34,7 +34,7 @@ int __cache_line_size attribute_hidden;
c6d234
 
c6d234
 struct startup_info
c6d234
   {
c6d234
-    void *__unbounded sda_base;
c6d234
+    void *sda_base;
c6d234
     int (*main) (int, char **, char **, void *);
c6d234
     int (*init) (int, char **, char **, void *);
c6d234
     void (*fini) (void);
c6d234
@@ -43,34 +43,28 @@ struct startup_info
c6d234
 int
c6d234
 /* GKM FIXME: GCC: this should get __BP_ prefix by virtue of the
c6d234
    BPs in the arglist of startup_info.main and startup_info.init. */
c6d234
-  BP_SYM (__libc_start_main) (int argc, char *__unbounded *__unbounded ubp_av,
c6d234
-			      char *__unbounded *__unbounded ubp_ev,
c6d234
-			      ElfW (auxv_t) * __unbounded auxvec,
c6d234
+  BP_SYM (__libc_start_main) (int argc, char **argv,
c6d234
+			      char **ev,
c6d234
+			      ElfW (auxv_t) * auxvec,
c6d234
 			      void (*rtld_fini) (void),
c6d234
-			      struct startup_info *__unbounded stinfo,
c6d234
-			      char *__unbounded *__unbounded stack_on_entry)
c6d234
+			      struct startup_info *stinfo,
c6d234
+			      char **stack_on_entry)
c6d234
 {
c6d234
-#if __BOUNDED_POINTERS__
c6d234
-  char **argv;
c6d234
-#else
c6d234
-# define argv ubp_av
c6d234
-#endif
c6d234
-
c6d234
   /* the PPC SVR4 ABI says that the top thing on the stack will
c6d234
      be a NULL pointer, so if not we assume that we're being called
c6d234
      as a statically-linked program by Linux...  */
c6d234
   if (*stack_on_entry != NULL)
c6d234
     {
c6d234
-      char *__unbounded * __unbounded temp;
c6d234
+      char **temp;
c6d234
       /* ...in which case, we have argc as the top thing on the
c6d234
          stack, followed by argv (NULL-terminated), envp (likewise),
c6d234
          and the auxilary vector.  */
c6d234
       /* 32/64-bit agnostic load from stack */
c6d234
-      argc = *(long int *__unbounded) stack_on_entry;
c6d234
-      ubp_av = stack_on_entry + 1;
c6d234
-      ubp_ev = ubp_av + argc + 1;
c6d234
+      argc = *(long int *) stack_on_entry;
c6d234
+      argv = stack_on_entry + 1;
c6d234
+      ev = argv + argc + 1;
c6d234
 #ifdef HAVE_AUX_VECTOR
c6d234
-      temp = ubp_ev;
c6d234
+      temp = ev;
c6d234
       while (*temp != NULL)
c6d234
 	++temp;
c6d234
       auxvec = (ElfW (auxv_t) *)++ temp;
c6d234
@@ -87,7 +81,7 @@ int
c6d234
 	break;
c6d234
       }
c6d234
 
c6d234
-  return generic_start_main (stinfo->main, argc, ubp_av, auxvec,
c6d234
+  return generic_start_main (stinfo->main, argc, argv, auxvec,
c6d234
 			     stinfo->init, stinfo->fini, rtld_fini,
c6d234
 			     stack_on_entry);
c6d234
 }
c6d234
diff --git a/sysdeps/unix/sysv/linux/ptrace.c b/sysdeps/unix/sysv/linux/ptrace.c
c6d234
index a75e5ba0a8ab6b53..b06a42ace08e38fa 100644
c6d234
--- a/sysdeps/unix/sysv/linux/ptrace.c
c6d234
+++ b/sysdeps/unix/sysv/linux/ptrace.c
c6d234
@@ -42,8 +42,7 @@ ptrace (enum __ptrace_request request, ...)
c6d234
   if (request > 0 && request < 4)
c6d234
     data = &ret;
c6d234
 
c6d234
-  res = INLINE_SYSCALL (ptrace, 4, request, pid,
c6d234
-			__ptrvalue (addr), __ptrvalue (data));
c6d234
+  res = INLINE_SYSCALL (ptrace, 4, request, pid, addr, data);
c6d234
   if (res >= 0 && request > 0 && request < 4)
c6d234
     {
c6d234
       __set_errno (0);
c6d234
diff --git a/sysdeps/unix/sysv/linux/semctl.c b/sysdeps/unix/sysv/linux/semctl.c
c6d234
index bae5a8d28306e653..3a2f1b39cea657e5 100644
c6d234
--- a/sysdeps/unix/sysv/linux/semctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/semctl.c
c6d234
@@ -34,10 +34,10 @@ struct __old_semid_ds
c6d234
   struct __old_ipc_perm sem_perm;	/* operation permission struct */
c6d234
   __time_t sem_otime;			/* last semop() time */
c6d234
   __time_t sem_ctime;			/* last time changed by semctl() */
c6d234
-  struct sem *__unbounded __sembase;	/* ptr to first semaphore in array */
c6d234
-  struct sem_queue *__unbounded __sem_pending; /* pending operations */
c6d234
-  struct sem_queue *__unbounded __sem_pending_last; /* last pending operation */
c6d234
-  struct sem_undo *__unbounded __undo;	/* ondo requests on this array */
c6d234
+  struct sem *__sembase;		/* ptr to first semaphore in array */
c6d234
+  struct sem_queue *__sem_pending;	/* pending operations */
c6d234
+  struct sem_queue *__sem_pending_last; /* last pending operation */
c6d234
+  struct sem_undo *__undo;		/* ondo requests on this array */
c6d234
   unsigned short int sem_nsems;		/* number of semaphores in set */
c6d234
 };
c6d234
 
c6d234
diff --git a/sysdeps/unix/sysv/linux/shmat.c b/sysdeps/unix/sysv/linux/shmat.c
c6d234
index 21417f4ced70e778..5ac515bc023e6783 100644
c6d234
--- a/sysdeps/unix/sysv/linux/shmat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/shmat.c
c6d234
@@ -36,7 +36,7 @@ shmat (shmid, shmaddr, shmflg)
c6d234
 {
c6d234
   INTERNAL_SYSCALL_DECL(err);
c6d234
   unsigned long resultvar;
c6d234
-  void *__unbounded raddr;
c6d234
+  void *raddr;
c6d234
 
c6d234
 #if __BOUNDED_POINTERS__
c6d234
   size_t length = ~0;
c6d234
@@ -49,8 +49,8 @@ shmat (shmid, shmaddr, shmflg)
c6d234
 
c6d234
   resultvar = INTERNAL_SYSCALL (ipc, err, 5, IPCOP_shmat,
c6d234
 				shmid, shmflg,
c6d234
-				(long int) __ptrvalue (&raddr),
c6d234
-				__ptrvalue ((void *) shmaddr));
c6d234
+				(long int) &raddr,
c6d234
+				(void *) shmaddr);
c6d234
   if (INTERNAL_SYSCALL_ERROR_P (resultvar, err))
c6d234
     {
c6d234
       __set_errno (INTERNAL_SYSCALL_ERRNO (resultvar, err));
c6d234
diff --git a/sysdeps/unix/sysv/linux/shmctl.c b/sysdeps/unix/sysv/linux/shmctl.c
c6d234
index 3fb6b0c0f203db08..f99ee77f92878b1b 100644
c6d234
--- a/sysdeps/unix/sysv/linux/shmctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/shmctl.c
c6d234
@@ -40,8 +40,8 @@ struct __old_shmid_ds
c6d234
   __ipc_pid_t shm_lpid;			/* pid of last shmop */
c6d234
   unsigned short int shm_nattch;	/* number of current attaches */
c6d234
   unsigned short int __shm_npages;	/* size of segment (pages) */
c6d234
-  unsigned long int *__unbounded __shm_pages; /* array of ptrs to frames -> SHMMAX */
c6d234
-  struct vm_area_struct *__unbounded __attaches; /* descriptors for attaches */
c6d234
+  unsigned long int *__shm_pages;	/* array of ptrs to frames -> SHMMAX */
c6d234
+  struct vm_area_struct *__attaches;	/* descriptors for attaches */
c6d234
 };
c6d234
 
c6d234
 struct __old_shminfo
c6d234
@@ -116,8 +116,7 @@ __new_shmctl (int shmid, int cmd, struct shmid_ds *buf)
c6d234
 	    return -1;
c6d234
 	  }
c6d234
       }
c6d234
-    result = INLINE_SYSCALL (ipc, 5, IPCOP_shmctl, shmid, cmd, 0,
c6d234
-			     __ptrvalue (&old.ds));
c6d234
+    result = INLINE_SYSCALL (ipc, 5, IPCOP_shmctl, shmid, cmd, 0, &old.ds);
c6d234
     if (result != -1 && (cmd == SHM_STAT || cmd == IPC_STAT))
c6d234
       {
c6d234
 	memset(buf, 0, sizeof(*buf));
c6d234
diff --git a/sysdeps/unix/sysv/linux/shmdt.c b/sysdeps/unix/sysv/linux/shmdt.c
c6d234
index 0791b37e1982eaa3..c7fd62d3c1c82ffb 100644
c6d234
--- a/sysdeps/unix/sysv/linux/shmdt.c
c6d234
+++ b/sysdeps/unix/sysv/linux/shmdt.c
c6d234
@@ -30,5 +30,5 @@ int
c6d234
 shmdt (shmaddr)
c6d234
      const void *shmaddr;
c6d234
 {
c6d234
-  return INLINE_SYSCALL (ipc, 5, IPCOP_shmdt, 0, 0, 0, __ptrvalue ((void *) shmaddr));
c6d234
+  return INLINE_SYSCALL (ipc, 5, IPCOP_shmdt, 0, 0, 0, (void *) shmaddr);
c6d234
 }
c6d234
diff --git a/sysdeps/unix/sysv/linux/sigaction.c b/sysdeps/unix/sysv/linux/sigaction.c
c6d234
index 01fb16e5573491c5..0eee8e6b0322399a 100644
c6d234
--- a/sysdeps/unix/sysv/linux/sigaction.c
c6d234
+++ b/sysdeps/unix/sysv/linux/sigaction.c
c6d234
@@ -55,8 +55,8 @@ __libc_sigaction (sig, act, oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.  */
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4, sig,
c6d234
-			   act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL, _NSIG / 8);
c6d234
+			   act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL, _NSIG / 8);
c6d234
 
c6d234
   if (oact && result >= 0)
c6d234
     {
c6d234
diff --git a/sysdeps/unix/sysv/linux/sigqueue.c b/sysdeps/unix/sysv/linux/sigqueue.c
c6d234
index d87c0da3af1a5070..e4470d4ca660f9b8 100644
c6d234
--- a/sysdeps/unix/sysv/linux/sigqueue.c
c6d234
+++ b/sysdeps/unix/sysv/linux/sigqueue.c
c6d234
@@ -43,7 +43,7 @@ __sigqueue (pid, sig, val)
c6d234
   info.si_uid = __getuid ();
c6d234
   info.si_value = val;
c6d234
 
c6d234
-  return INLINE_SYSCALL (rt_sigqueueinfo, 3, pid, sig, __ptrvalue (&info));
c6d234
+  return INLINE_SYSCALL (rt_sigqueueinfo, 3, pid, sig, &info;;
c6d234
 }
c6d234
 weak_alias (__sigqueue, sigqueue)
c6d234
 #else
c6d234
diff --git a/sysdeps/unix/sysv/linux/sparc/sparc64/sigaction.c b/sysdeps/unix/sysv/linux/sparc/sparc64/sigaction.c
c6d234
index a7eb88afa4fc5309..33715e54aa5837f2 100644
c6d234
--- a/sysdeps/unix/sysv/linux/sparc/sparc64/sigaction.c
c6d234
+++ b/sysdeps/unix/sysv/linux/sparc/sparc64/sigaction.c
c6d234
@@ -48,8 +48,8 @@ __libc_sigaction (int sig, const struct sigaction *act, struct sigaction *oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.  */
c6d234
   ret = INLINE_SYSCALL (rt_sigaction, 5, sig,
c6d234
-			act ? __ptrvalue (&kact) : 0,
c6d234
-			oact ? __ptrvalue (&koact) : 0, stub, _NSIG / 8);
c6d234
+			act ? &kact : 0,
c6d234
+			oact ? &koact : 0, stub, _NSIG / 8);
c6d234
 
c6d234
   if (oact && ret >= 0)
c6d234
     {
c6d234
diff --git a/sysdeps/unix/sysv/linux/sysctl.c b/sysdeps/unix/sysv/linux/sysctl.c
c6d234
index e00ecfe85cfc0281..bcec384cb55f33ac 100644
c6d234
--- a/sysdeps/unix/sysv/linux/sysctl.c
c6d234
+++ b/sysdeps/unix/sysv/linux/sysctl.c
c6d234
@@ -37,7 +37,7 @@ __sysctl (int *name, int nlen, void *oldval, size_t *oldlenp,
c6d234
     .newlen = newlen
c6d234
   };
c6d234
 
c6d234
-  return INLINE_SYSCALL (_sysctl, 1, __ptrvalue (&args));
c6d234
+  return INLINE_SYSCALL (_sysctl, 1, &args);
c6d234
 }
c6d234
 libc_hidden_def (__sysctl)
c6d234
 weak_alias (__sysctl, sysctl)
c6d234
diff --git a/sysdeps/unix/sysv/linux/x86_64/sigaction.c b/sysdeps/unix/sysv/linux/x86_64/sigaction.c
c6d234
index 5a3ad1830e67e38b..6e171dae6c429367 100644
c6d234
--- a/sysdeps/unix/sysv/linux/x86_64/sigaction.c
c6d234
+++ b/sysdeps/unix/sysv/linux/x86_64/sigaction.c
c6d234
@@ -62,8 +62,8 @@ __libc_sigaction (int sig, const struct sigaction *act, struct sigaction *oact)
c6d234
   /* XXX The size argument hopefully will have to be changed to the
c6d234
      real size of the user-level sigset_t.  */
c6d234
   result = INLINE_SYSCALL (rt_sigaction, 4,
c6d234
-			   sig, act ? __ptrvalue (&kact) : NULL,
c6d234
-			   oact ? __ptrvalue (&koact) : NULL, _NSIG / 8);
c6d234
+			   sig, act ? &kact : NULL,
c6d234
+			   oact ? &koact : NULL, _NSIG / 8);
c6d234
   if (oact && result >= 0)
c6d234
     {
c6d234
       oact->sa_handler = koact.k_sa_handler;
c6d234
diff --git a/sysdeps/unix/sysv/linux/xstat.c b/sysdeps/unix/sysv/linux/xstat.c
c6d234
index a3c0c1ca42424830..bb4477bb89f65fb7 100644
c6d234
--- a/sysdeps/unix/sysv/linux/xstat.c
c6d234
+++ b/sysdeps/unix/sysv/linux/xstat.c
c6d234
@@ -44,7 +44,7 @@ __xstat (int vers, const char *name, struct stat *buf)
c6d234
   struct kernel_stat kbuf;
c6d234
   int result;
c6d234
 
c6d234
-  result = INLINE_SYSCALL (stat, 2, name, __ptrvalue (&kbuf));
c6d234
+  result = INLINE_SYSCALL (stat, 2, name, &kbuf);
c6d234
   if (result == 0)
c6d234
     result = __xstat_conv (vers, &kbuf, buf);
c6d234