svn commit: r340222 - in head/sys: compat/freebsd32 kern

[Brooks Davis]

Author: brooks
Date: Wed Nov  7 16:56:07 2018
New Revision: 340222
URL: https://svnweb.freebsd.org/changeset/base/340222

Log:
  Regen after r340221: allow pointer return types.
  
  Sponsored by:	DARPA, AFRL
  Differential Revision:	https://reviews.freebsd.org/D17873

Modified:
  head/sys/compat/freebsd32/freebsd32_systrace_args.c
  head/sys/kern/systrace_args.c

Modified: head/sys/compat/freebsd32/freebsd32_systrace_args.c
==============================================================================
--- head/sys/compat/freebsd32/freebsd32_systrace_args.c	Wed Nov  7 16:55:04 2018	(r340221)
+++ head/sys/compat/freebsd32/freebsd32_systrace_args.c	Wed Nov  7 16:56:07 2018	(r340222)
@@ -8839,7 +8839,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* break */
 	case 17:
 		if (ndx == 0 || ndx == 1)
-			p = "caddr_t";
+			p = "void *";
 		break;
 	/* getpid */
 	case 20:
@@ -9388,7 +9388,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* shmat */
 	case 228:
 		if (ndx == 0 || ndx == 1)
-			p = "int";
+			p = "void *";
 		break;
 	/* shmdt */
 	case 230:
@@ -10139,7 +10139,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* freebsd32_mmap */
 	case 477:
 		if (ndx == 0 || ndx == 1)
-			p = "caddr_t";
+			p = "void *";
 		break;
 	/* freebsd32_lseek */
 	case 478:
@@ -10170,7 +10170,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* freebsd32_mmap */
 	case 477:
 		if (ndx == 0 || ndx == 1)
-			p = "caddr_t";
+			p = "void *";
 		break;
 	/* freebsd32_lseek */
 	case 478:

Modified: head/sys/kern/systrace_args.c
==============================================================================
--- head/sys/kern/systrace_args.c	Wed Nov  7 16:55:04 2018	(r340221)
+++ head/sys/kern/systrace_args.c	Wed Nov  7 16:56:07 2018	(r340222)
@@ -8788,7 +8788,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* break */
 	case 17:
 		if (ndx == 0 || ndx == 1)
-			p = "caddr_t";
+			p = "void *";
 		break;
 	/* getpid */
 	case 20:
@@ -9357,7 +9357,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* shmat */
 	case 228:
 		if (ndx == 0 || ndx == 1)
-			p = "int";
+			p = "void *";
 		break;
 	/* shmdt */
 	case 230:
@@ -10187,7 +10187,7 @@ systrace_return_setargdesc(int sysnum, int ndx, char *
 	/* mmap */
 	case 477:
 		if (ndx == 0 || ndx == 1)
-			p = "caddr_t";
+			p = "void *";
 		break;
 	/* lseek */
 	case 478: