DPRINT_ENTER(VMBUS);
 
        /* Aligned to page size */
-       ASSERT(!(SendRingBufferSize & (PAGE_SIZE - 1)));
-       ASSERT(!(RecvRingBufferSize & (PAGE_SIZE - 1)));
+       /* ASSERT(!(SendRingBufferSize & (PAGE_SIZE - 1))); */
+       /* ASSERT(!(RecvRingBufferSize & (PAGE_SIZE - 1))); */
 
        NewChannel->OnChannelCallback = OnChannelCallback;
        NewChannel->ChannelCallbackContext = Context;
        if (!out)
                return -ENOMEM;
 
-       ASSERT(((unsigned long)out & (PAGE_SIZE-1)) == 0);
+       /* ASSERT(((unsigned long)out & (PAGE_SIZE-1)) == 0); */
 
        in = (void *)((unsigned long)out + SendRingBufferSize);
 
        int pfnSum, pfnCount, pfnLeft, pfnCurr, pfnSize;
 
        /* ASSERT((kbuffer & (PAGE_SIZE-1)) == 0); */
-       ASSERT((Size & (PAGE_SIZE-1)) == 0);
+       /* ASSERT((Size & (PAGE_SIZE-1)) == 0); */
 
        pageCount = Size >> PAGE_SHIFT;
        pfn = virt_to_phys(Kbuffer) >> PAGE_SHIFT;
 
        DPRINT_ENTER(VMBUS);
 
-       ASSERT(GpadlHandle != 0);
+       /* ASSERT(GpadlHandle != 0); */
 
        info = kmalloc(sizeof(*info) +
                       sizeof(struct vmbus_channel_gpadl_teardown), GFP_KERNEL);
 
        DumpVmbusChannel(Channel);
 
-       ASSERT((packetLenAligned - packetLen) < sizeof(u64));
+       /* ASSERT((packetLenAligned - packetLen) < sizeof(u64)); */
 
        /* Setup the descriptor */
        desc.Type = Type; /* VmbusPacketTypeDataInBand; */
        packetLen = descSize + BufferLen;
        packetLenAligned = ALIGN_UP(packetLen, sizeof(u64));
 
-       ASSERT((packetLenAligned - packetLen) < sizeof(u64));
+       /* ASSERT((packetLenAligned - packetLen) < sizeof(u64)); */
 
        /* Setup the descriptor */
        desc.Type = VmbusPacketTypeDataUsingGpaDirect;
        packetLen = descSize + BufferLen;
        packetLenAligned = ALIGN_UP(packetLen, sizeof(u64));
 
-       ASSERT((packetLenAligned - packetLen) < sizeof(u64));
+       /* ASSERT((packetLenAligned - packetLen) < sizeof(u64)); */
 
        /* Setup the descriptor */
        desc.Type = VmbusPacketTypeDataUsingGpaDirect;
 void VmbusChannelOnChannelEvent(struct vmbus_channel *Channel)
 {
        DumpVmbusChannel(Channel);
-       ASSERT(Channel->OnChannelCallback);
+       /* ASSERT(Channel->OnChannelCallback); */
 
        Channel->OnChannelCallback(Channel->ChannelCallbackContext);