//----------------------------------------------------------------------------
//
// Copyright (c) 1998, 2001 Epson Research and Development, Inc. 
// All Rights Reserved.
//
// Module Name:
//
//    ioctl.h   
//
//
// Abstract:
//
//    Include file for S1D13xxx PCI Board Driver.
//    Define the IOCTL codes we will use.  The IOCTL code contains a command
//    identifier, plus other information about the device, the type of access
//    with which the file must have been opened, and the type of buffering.
//
//----------------------------------------------------------------------------

#define SED_TYPE FILE_DEVICE_CONTROLLER 

// The IOCTL function codes from 0x800 to 0xFFF are for customer use.

#define IOCTL_SED_QUERY_NUMBER_OF_PCI_BOARDS \
    CTL_CODE( SED_TYPE, 0x900, METHOD_BUFFERED, FILE_ANY_ACCESS)

#define IOCTL_SED_MAP_PCI_BOARD \
    CTL_CODE( SED_TYPE, 0x901, METHOD_BUFFERED, FILE_ANY_ACCESS)

#define IOCTL_SED_MAP_PHYSICAL_MEMORY \
    CTL_CODE( SED_TYPE, 0x902, METHOD_BUFFERED, FILE_ANY_ACCESS)

#define IOCTL_SED_UNMAP_LINEAR_MEMORY \
    CTL_CODE( SED_TYPE, 0x903, METHOD_BUFFERED, FILE_ANY_ACCESS)