The Windows Driver Kit (WDK) documentation set on the Microsoft Developer Network ( MSDN ) and the Windows Hardware Developer Central ( WHDC ) Web sites has been updated for May 2008. The WDK documentation team has updated the documentation to address