include vmm.inc mov eax, Device_ID mov edi, Device_Name VMMCall Get_DDB mov [DDB], ecx
Determines whether or not a VxD is installed for the specified device and returns a DDB for that device if it is installed. Uses ECX, flags.
Device_ID
The device identifier. This parameter can be zero for name-based devices.
Device_Name
An eight-character device name that is padded with blank characters. This parameter is only required if Device_ID is zero. The device name is case-sensitive.