Revert "x86_64: adapt MiG generated stubs to use mach_port_name_inlined_t for inlined port rights."

This reverts commit c40604042bd6e9f80e4f5fe6bc9deefb29c4b94a.

1 files changed, 0 insertions, 6 deletions

diff --git a/routine.c b/routine.c
index 8909f4d..3ae9298 100644
--- a/routine.c
+++ b/routine.c
@@ -517,12 +517,6 @@ rtAugmentArgKind(argument_t *arg)
     {
 	arg->argKind = akAddFeature(arg->argKind, akbPointer);
     }
-    if (akCheck(arg->argKind, akbSendRcv) &&
-	 IS_64BIT_ABI &&
-	 it->itUserlandPort &&
-	akCheck(arg->argKind, akbIndefinite)) {
-	arg->argKind = akAddFeature(arg->argKind, akbPointer);
-    }
 }
 
 /* arg->argType may be NULL in this function */