arm_ddk.h

WinCE 3.0 BSP, 包含Inter SA1110, Intel_815E, Advantech_PCM9574 等

/* -*-C-*-
 *
 * $Revision: 1.3 $
 *   $Author: kwelton $
 *     $Date: 2000/08/08 20:29:51 $
 *
 * Coyright (c) 2000 ARM Limited
 * All Rights Reserved
 */

#ifndef integrator_arm_ddk_h
#define integrator_arm_ddk_h

#include <ceddk.h>

//#if 0
# define VERBOSE 1
//#endif

void EdbgOutputDebugString(const unsigned char *sz, ...);

#define DPF     EdbgOutputDebugString

#ifdef VERBOSE
# define VDPF   EdbgOutputDebugString
#else
# define VDPF
#endif

/*
 * system status, passed to display routines
 */
typedef enum
{
    EBOOT_STATUS_INITIALIZING = 0,
    EBOOT_STATUS_DOWNLOADING,
    EBOOT_STATUS_EXECUTING
} EBOOT_STATUS;

//
// The following structures are used to pass the parameters from various
// ddk functions into the OEMIoctl function where the actual work is done.
// Note that each structure contains a DWORD which is used to indicate which
// specific IOCTL_HAL_DDK_CALL function we want.

// HalSetBusDataByOffset & HalGetBusDataByOffset
typedef struct  __BUSDATA_PARMS
{
    DWORD Function;    // Which function IOCTL_HAL_GETBUSDATA/IOCTL_HAL_SETBUSDATA
    ULONG ReturnCode; // Return code from the function

    // Remaining elements are parameters for the functions
    BUS_DATA_TYPE BusDataType;
    ULONG BusNumber;
    ULONG SlotNumber;
    PVOID Buffer;
    ULONG Offset;
    ULONG Length;
} BUSDATA_PARMS, *PBUSDATA_PARMS;

/*
 * this structure is used to get/set PCI information between device
 * drivers and the kernel
 */
typedef struct
{
    BOOL found;

    unsigned short vendor;
    unsigned short device;
    unsigned int instance;

    unsigned char bus;
    unsigned char slot;
    unsigned char func;

    PCI_COMMON_CONFIG config;
} PCIDeviceInfo;

#define IOCTL_HAL_SETBUSDATA            0x01
#define IOCTL_HAL_GETBUSDATA            0x02
#define IOCTL_HAL_MAP_INTERRUPT		0x03
#define IOCTL_HAL_GETPCIDEVICEINFO      0x04
#define IOCTL_HAL_SETPCIDEVICEINFO      0x05

#endif /* ndef integrator_arm_ddk_h */

/* EOF arm_ddk.h */