name msg711
file msg711.drv
type win32

debug_channels ()

@ stub DriverProc #(long long long long long)