Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_driver.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_driver.c	(revision 8274)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_driver.c	(revision 8275)
@@ -118,6 +118,7 @@
 bus_drv_unload(
 	IN				DRIVER_OBJECT				*p_driver_obj );
 
+DRIVER_INITIALIZE DriverEntry;
 NTSTATUS
 DriverEntry(
 	IN				DRIVER_OBJECT				*p_driver_obj,
Index: B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_iou_mgr.c
===================================================================
--- B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_iou_mgr.c	(revision 8274)
+++ B:/users/xalex/PREFAST_TRUNK_3_0_0/core/bus/kernel/bus_iou_mgr.c	(revision 8275)
@@ -30,6 +30,7 @@
  * $Id$
  */
 
+#include <stdlib.h>
 
 #include <iba/ib_types.h>
 #include <complib/cl_async_proc.h>
@@ -1346,13 +1347,13 @@
 
 	/* The instance ID is the port GUID. */
 	p_string = ExAllocatePoolWithTag( NonPagedPool,
-									  sizeof(WCHAR) * sizeof(p_ext->desc),
+									  sizeof(WCHAR) *  _countof(p_ext->desc),
 									  'sedq' );
 	if( !p_string )
 	{
 		BUS_TRACE_EXIT( BUS_DBG_ERROR, 
 			("Failed to allocate device description buffer (%d bytes).\n",
-			sizeof(WCHAR) * sizeof(p_ext->desc)) );
+			sizeof(WCHAR) * _countof(p_ext->desc)) );
 		return STATUS_INSUFFICIENT_RESOURCES;
 	}