name msg711
file msg711.drv
type win32
debug_channels ()
@ stub DriverProc #(long long long long long)