/********************************************************************\

  Name:         vxi11dev.h
  Created by:   Kei Ieki

  Contents:     VXI11 protocol device driver

  $Id: vxi11dev.h 4021 2007-11-01 18:03:02Z amaudruz $

\********************************************************************/

INT vxi11dev(INT cmd, ...);