}
 EXPORT_SYMBOL_GPL(vmbus_open);
 
-/*
- * dump_gpadl_body - Dump the gpadl body message to the console for
- * debugging purposes.
- */
-static void dump_gpadl_body(struct vmbus_channel_gpadl_body *gpadl, u32 len)
-{
-       int i;
-       int pfncount;
-
-       pfncount = (len - sizeof(struct vmbus_channel_gpadl_body)) /
-                  sizeof(u64);
-
-       DPRINT_DBG(VMBUS, "gpadl body - len %d pfn count %d", len, pfncount);
-
-       for (i = 0; i < pfncount; i++)
-               DPRINT_DBG(VMBUS, "gpadl body  - %d) pfn %llu",
-                          i, gpadl->pfn[i]);
-}
 
 /*
  * dump_gpadl_header - Dump the gpadl header message to the console for
                                CHANNELMSG_GPADL_BODY;
                        gpadl_body->gpadl = next_gpadl_handle;
 
-                       dump_gpadl_body(gpadl_body, submsginfo->msgsize -
-                                     sizeof(*submsginfo));
                        ret = vmbus_post_msg(gpadl_body,
                                               submsginfo->msgsize -
                                               sizeof(*submsginfo));