For every WDM and VxD device driver, there are two device names. For WDM device drivers, there is both a kernel device name and a user-readable symbolic link name, while for VxD device drivers, there is both a driver device name and a symbolic link name. This section discusses the WDM case first, and then the VxD case: