/*++

Copyright (c) Microsoft Corporation. All Rights Reserved

Module Name:

    NfcCx.h

Abstract:

    NFC class extension and the client driver interface.

Environment:

    User-mode Driver Framework

--*/

//
// NOTE: This header is generated by stubwork.  Please make any 
//       modifications to the corresponding template files 
//       (.x or .y) and use stubwork to regenerate the header
//

#ifndef _NFCCX_H_
#define _NFCCX_H_

#ifndef WDF_EXTERN_C
  #ifdef __cplusplus
    #define WDF_EXTERN_C       extern "C"
    #define WDF_EXTERN_C_START extern "C" {
    #define WDF_EXTERN_C_END   }
  #else
    #define WDF_EXTERN_C
    #define WDF_EXTERN_C_START
    #define WDF_EXTERN_C_END
  #endif
#endif

WDF_EXTERN_C_START



#ifndef WDFAPI
#error Include WDF.H first
#endif

typedef struct _NFCCX_DRIVER_GLOBALS {
    ULONG Reserved;
} NFCCX_DRIVER_GLOBALS, *PNFCCX_DRIVER_GLOBALS;

typedef VOID (*PFN_NFC_CX)(VOID);
extern PFN_NFC_CX NfccxFunctions[];

#include "NfcCxFuncEnum.h"
#include "NfcCxBugCodes.h"

// 
// Driver Flags
// 
typedef enum _NFC_CX_DRIVER_FLAGS {
    NFC_CX_DRIVER_DISABLE_WTD_TIMER = 0x00000001, //  Disable watchdog timer in CX
    NFC_CX_DRIVER_DISABLE_NFCEE_DISCOVERY = 0x00000002, //  Disable NFCEE discovery
    NFC_CX_DRIVER_DISABLE_RECOVERY_MODE = 0x00000004, //  Disable NCI recovery mechanism in CX
    NFC_CX_DRIVER_DISABLE_HOST_CARD_EMULATION = 0x000000010, //  Disable host card emulation feature
    NFC_CX_DRIVER_HCI_NETWORK_PER_NFCEE = 0x000000020, //  NFCC implements a separate HCI network per NFCEE
    NFC_CX_DRIVER_DISABLE_NFCEE_ACTION_NTF = 0x000000040, //  Disable NFCEE action notification
    NFC_CX_DRIVER_ENABLE_EEPROM_WRITE_PROTECTION = 0x000000080, //  Enable opt to over-write only when configs change
    NFC_CX_DRIVER_ISODEP_RNAK_PRESENCE_CHK_SUPPORTED = 0x000000100, //  The R-NAK command for ISO-DEP will be used for presence check
    NFC_CX_DRIVER_RF_ROUTING_POWER_SUB_STATES_SUPPORTED = 0x000000200, //  Indicates support for RF routing switched ON power sub-states
    NFC_CX_DRIVER_SKIP_DEVICE_STOP_IDLE = 0x000000400, //  CX will not call WdfDeviceStopIdle or WdfDeviceResumeIdle
    NFC_CX_DRIVER_POWER_AND_LINK_CONTROL_SUPPORTED = 0x000000800, //  NFCEE_POWER_AND_LINK_CTRL is supported for the NCI 1.x protocol as an extension. (Command is mandatory for NCI 2.x.)
} NFC_CX_DRIVER_FLAGS, *PNFC_CX_DRIVER_FLAGS;

// 
// NCI Transport Type
// 
typedef enum _NFC_CX_TRANSPORT_TYPE {
    NFC_CX_TRANSPORT_I2C = 0x00,
    NFC_CX_TRANSPORT_SPI = 0x01,
    NFC_CX_TRANSPORT_UART = 0x02,
    NFC_CX_TRANSPORT_CUSTOM = 0xFF,
} NFC_CX_TRANSPORT_TYPE, *PNFC_CX_TRANSPORT_TYPE;

// 
// Device Mode
// 
typedef enum _NFC_CX_DEVICE_MODE {
    NFC_CX_DEVICE_MODE_NCI = 0x00000000, //  Enable NCI mode
    NFC_CX_DEVICE_MODE_DTA = 0x00000001, //  Enable DTA mode
    NFC_CX_DEVICE_MODE_RAW = 0x00000002, //  Enable RAW mode
} NFC_CX_DEVICE_MODE, *PNFC_CX_DEVICE_MODE;

// 
// Hardware Action Definitions
// 
typedef enum _NFC_CX_HOST_ACTION {
    HostActionStart = 0,
    HostActionStop,
    HostActionRestart,
    HostActionUnload,
} NFC_CX_HOST_ACTION, *PNFC_CX_HOST_ACTION;

// 
// Poll Mode Configuration
// 
typedef enum _NFC_CX_POLL_MODE_CONFIG {
    NFC_CX_POLL_NFC_A = 0x00000001,
    NFC_CX_POLL_NFC_B = 0x00000002,
    NFC_CX_POLL_NFC_F_212 = 0x00000004,
    NFC_CX_POLL_NFC_F_424 = 0x00000008,
    NFC_CX_POLL_NFC_15693 = 0x00000010,
    NFC_CX_POLL_NFC_ACTIVE = 0x00000020,
    NFC_CX_POLL_NFC_A_KOVIO = 0x00000040, //  Kovio refers to NfcBarcode tags
    NFC_CX_POLL_DEFAULT = NFC_CX_POLL_NFC_A | NFC_CX_POLL_NFC_B | NFC_CX_POLL_NFC_F_212 | NFC_CX_POLL_NFC_F_424,
} NFC_CX_POLL_MODE_CONFIG, *PNFC_CX_POLL_MODE_CONFIG;

// 
// NFCIP Initiator Configuration
// 
typedef enum _NFC_CX_NFCIP_MODE_CONFIG {
    NFC_CX_NFCIP_NFC_A = 0x01,
    NFC_CX_NFCIP_NFC_F_212 = 0x02,
    NFC_CX_NFCIP_NFC_F_424 = 0x04,
    NFC_CX_NFCIP_NFC_ACTIVE = 0x08,
    NFC_CX_NFCIP_NFC_ACTIVE_A = 0x10,
    NFC_CX_NFCIP_NFC_ACTIVE_F_212 = 0x20,
    NFC_CX_NFCIP_NFC_ACTIVE_F_424 = 0x40,
    NFC_CX_NFCIP_DEFAULT = NFC_CX_NFCIP_NFC_A | NFC_CX_NFCIP_NFC_F_212 | NFC_CX_NFCIP_NFC_F_424,
} NFC_CX_NFCIP_MODE_CONFIG, *PNFC_CX_NFCIP_MODE_CONFIG;

// 
// NFCIP Target Configuration
// 
typedef enum _NFC_CX_NFCIP_TGT_MODE_CONFIG {
    NFC_CX_NFCIP_TGT_NFC_A = 0x01,
    NFC_CX_NFCIP_TGT_NFC_F = 0x02,
    NFC_CX_NFCIP_TGT_NFC_ACTIVE_A = 0x04,
    NFC_CX_NFCIP_TGT_NFC_ACTIVE_F = 0x08,
    NFC_CX_NFCIP_TGT_DEFAULT = NFC_CX_NFCIP_TGT_NFC_A | NFC_CX_NFCIP_TGT_NFC_F,
} NFC_CX_NFCIP_TGT_MODE_CONFIG, *PNFC_CX_NFCIP_TGT_MODE_CONFIG;

// 
// CE Mode Configuration
// 
typedef enum _NFC_CX_CE_MODE_CONFIG {
    NFC_CX_CE_NFC_A = 0x01,
    NFC_CX_CE_NFC_B = 0x02,
    NFC_CX_CE_NFC_F = 0x04,
    NFC_CX_CE_DEFAULT = NFC_CX_CE_NFC_A | NFC_CX_CE_NFC_B | NFC_CX_CE_NFC_F,
} NFC_CX_CE_MODE_CONFIG, *PNFC_CX_CE_MODE_CONFIG;

// 
// Discovery Bailout Configuration
// 
typedef enum _NFC_CX_POLL_BAILOUT_CONFIG {
    NFC_CX_POLL_BAILOUT_DEFAULT = 0x00,
    NFC_CX_POLL_BAILOUT_NFC_A = 0x01,
    NFC_CX_POLL_BAILOUT_NFC_B = 0x02,
} NFC_CX_POLL_BAILOUT_CONFIG, *PNFC_CX_POLL_BAILOUT_CONFIG;

// 
// Sequence Definitions
// 
typedef enum _NFC_CX_SEQUENCE {
    SequencePreInit = 0,
    SequenceInitComplete,
    SequencePreRfDiscStart,
    SequenceRfDiscStartComplete,
    SequencePreRfDiscStop,
    SequenceRfDiscStopComplete,
    SequencePreNfceeDisc,
    SequenceNfceeDiscComplete,
    SequencePreShutdown,
    SequenceShutdownComplete,
    SequencePreRecovery,
    SequenceRecoveryComplete,
    SequenceMaximum,
} NFC_CX_SEQUENCE, *PNFC_CX_SEQUENCE;


//
// IOCTL Definitions
//
#define IOCTL_NFCCX_WRITE_PACKET CTL_CODE(FILE_DEVICE_NFP, 0x1000, METHOD_BUFFERED, FILE_ANY_ACCESS)

typedef
_Function_class_(EVT_NFC_CX_WRITE_NCI_PACKET)
_IRQL_requires_same_
VOID
EVT_NFC_CX_WRITE_NCI_PACKET(
    _In_
    WDFDEVICE Device,
    _In_
    WDFREQUEST Request
    );

typedef EVT_NFC_CX_WRITE_NCI_PACKET *PFN_NFC_CX_WRITE_NCI_PACKET;

typedef
_Function_class_(EVT_NFC_CX_DEVICE_IO_CONTROL)
_IRQL_requires_same_
VOID
EVT_NFC_CX_DEVICE_IO_CONTROL(
    _In_
    WDFDEVICE Device,
    _In_
    WDFREQUEST Request,
    _In_
    size_t OutputBufferLength,
    _In_
    size_t InputBufferLength,
    _In_
    ULONG  IoControlCode
    );

typedef EVT_NFC_CX_DEVICE_IO_CONTROL *PFN_NFC_CX_DEVICE_IO_CONTROL;

//
// Client Configuration
//
typedef struct _NFC_CX_CLIENT_CONFIG {
    //
    // Size of this structure in bytes
    //
    ULONG Size;

    //
    // If set to WdfFalse/WdfDefault, Class extension will call WdfDeviceAssignS0IdleSettings
    //     with idle settings values of PowerIdleType and PowerIdleTimeout.
    // If set to WdfTrue, Class extension will skip WdfDeviceAssignS0IdleSettings call.
    //
    WDF_TRI_STATE IsPowerPolicyOwner;

    //
    // IdleTimeout value is in milliseconds
    //
    ULONG PowerIdleTimeout;

    WDF_POWER_POLICY_IDLE_TIMEOUT_TYPE PowerIdleType;

    NFC_CX_TRANSPORT_TYPE BusType;

    //
    // Combination of NFC_CX_DRIVER_FLAGS values
    //
    ULONG DriverFlags;

    //
    // Device mode
    //
    NFC_CX_DEVICE_MODE DeviceMode;

    //
    // Event callbacks
    //
    PFN_NFC_CX_WRITE_NCI_PACKET EvtNfcCxWriteNciPacket;
    PFN_NFC_CX_DEVICE_IO_CONTROL EvtNfcCxDeviceIoControl;

} NFC_CX_CLIENT_CONFIG, *PNFC_CX_CLIENT_CONFIG;

#define NFC_CX_POWER_IDLE_TIMEOUT_DEFAULT 1000

VOID
FORCEINLINE
NFC_CX_CLIENT_CONFIG_INIT(
    _Out_ PNFC_CX_CLIENT_CONFIG Config,
    _In_ NFC_CX_TRANSPORT_TYPE BusType
    )
{
    RtlZeroMemory(Config, sizeof(NFC_CX_CLIENT_CONFIG));
    Config->Size = sizeof(NFC_CX_CLIENT_CONFIG);

    Config->IsPowerPolicyOwner = WdfUseDefault;
    Config->PowerIdleTimeout = NFC_CX_POWER_IDLE_TIMEOUT_DEFAULT;
    Config->PowerIdleType = DriverManagedIdleTimeout;
    Config->BusType = BusType;
    Config->DriverFlags = 0;
    Config->DeviceMode = NFC_CX_DEVICE_MODE_NCI;
}

typedef struct _NFC_CX_HARDWARE_EVENT {
    NTSTATUS HardwareStatus;
    NFC_CX_HOST_ACTION HostAction;
} NFC_CX_HARDWARE_EVENT, *PNFC_CX_HARDWARE_EVENT;

//
// RF Discovery Configuration
//
typedef struct _NFC_CX_RF_DISCOVERY_CONFIG {
    //
    // Size of this structure in bytes
    //
    ULONG Size;

    //
    // Total Duration of the single discovery period in milliseconds
    //
    USHORT TotalDuration;

    //
    // Combination of NFC_CX_POLL_MODE_CONFIG values
    //
    ULONG PollConfig;

    //
    // Combination of NFC_CX_NFCIP_MODE_CONFIG values
    //
    UCHAR NfcIPMode;

    //
    // Combination of NFC_CX_NFCIP_TGT_MODE_CONFIG values
    //
    UCHAR NfcIPTgtMode;

    //
    // Combination of NFC_CX_CE_MODE_CONFIG values
    //
    UCHAR NfcCEMode;

    //
    // Combination of NFC_CX_POLL_BAILOUT_CONFIG values
    //
    UCHAR BailoutConfig;

} NFC_CX_RF_DISCOVERY_CONFIG, *PNFC_CX_RF_DISCOVERY_CONFIG;

typedef const NFC_CX_RF_DISCOVERY_CONFIG* PCNFC_CX_RF_DISCOVERY_CONFIG;

#define NFC_CX_TOTAL_DURATION_DEFAULT 300 // Default 300 milliseconds

VOID
FORCEINLINE
NFC_CX_RF_DISCOVERY_CONFIG_INIT(
    _Out_ PNFC_CX_RF_DISCOVERY_CONFIG Config
    )
{
    RtlZeroMemory(Config, sizeof(NFC_CX_RF_DISCOVERY_CONFIG));
    Config->Size = sizeof(NFC_CX_RF_DISCOVERY_CONFIG);

    Config->TotalDuration = NFC_CX_TOTAL_DURATION_DEFAULT;
    Config->PollConfig = NFC_CX_POLL_DEFAULT;
    Config->NfcIPMode = NFC_CX_NFCIP_DEFAULT;
    Config->NfcIPTgtMode = NFC_CX_NFCIP_TGT_DEFAULT;
    Config->NfcCEMode = NFC_CX_CE_DEFAULT;
    Config->BailoutConfig = NFC_CX_POLL_BAILOUT_DEFAULT;
}

//
// LLCP Configuration
//
typedef struct _NFC_CX_LLCP_CONFIG {
    //
    // Size of this structure in bytes
    //
    ULONG Size;

    //
    // Max information unit in bytes
    //
    USHORT Miu;

    //
    // LTO timeout in multiples of 10 milliseconds
    //
    UCHAR LinkTimeout;

    //
    // The receive window size as per LLCP spec
    //
    UCHAR RecvWindowSize;

} NFC_CX_LLCP_CONFIG, *PNFC_CX_LLCP_CONFIG;

typedef const NFC_CX_LLCP_CONFIG* PCNFC_CX_LLCP_CONFIG;

#define NFC_CX_LLCP_MIU_DEFAULT 1024
#define NFC_CX_LLCP_LTO_DEFAULT 100 // Default LTO is 1sec
#define NFC_CX_LLCP_RECV_WINDOW_SIZE 5

VOID
FORCEINLINE
NFC_CX_LLCP_CONFIG_INIT(
    _Out_ PNFC_CX_LLCP_CONFIG Config
    )
{
    RtlZeroMemory(Config, sizeof(NFC_CX_LLCP_CONFIG));
    Config->Size = sizeof(NFC_CX_LLCP_CONFIG);

    Config->Miu = NFC_CX_LLCP_MIU_DEFAULT;
    Config->LinkTimeout = NFC_CX_LLCP_LTO_DEFAULT;
    Config->RecvWindowSize = NFC_CX_LLCP_RECV_WINDOW_SIZE;
}

//
// Sequence Flags
//
#define NFC_CX_SEQUENCE_PRE_INIT_FLAG_SKIP_CONFIG     0x00000001 // Skip configuration during init sequence
#define NFC_CX_SEQUENCE_PRE_INIT_FLAG_FORCE_CONFIG    0x00000002 // Force update configuration during init sequence
#define NFC_CX_SEQUENCE_INIT_COMPLETE_FLAG_REDO       0x00000001 // Request to redo the init sequence
#define NFC_CX_SEQUENCE_PRE_NFCEE_DISC_FLAG_SKIP      0x00000001 // Skip the NFCEE discovery sequence
#define NFC_CX_SEQUENCE_PRE_SHUTDOWN_FLAG_SKIP_RESET  0x00000001 // Skip sending NCI reset during shutdown sequence

typedef
_Function_class_(EVT_NFC_CX_SEQUENCE_COMPLETION_ROUTINE)
_IRQL_requires_same_
VOID
EVT_NFC_CX_SEQUENCE_COMPLETION_ROUTINE(
    _In_
     WDFDEVICE Device,
    _In_
    NTSTATUS Status,
    _In_
    ULONG Flags,
    _In_opt_
    WDFCONTEXT Context
    );

typedef EVT_NFC_CX_SEQUENCE_COMPLETION_ROUTINE *PFN_NFC_CX_SEQUENCE_COMPLETION_ROUTINE;

typedef
_Function_class_(EVT_NFC_CX_SEQUENCE_HANDLER)
_IRQL_requires_same_
VOID
EVT_NFC_CX_SEQUENCE_HANDLER(
    _In_
    WDFDEVICE Device,
    _In_
    NFC_CX_SEQUENCE Sequence,
    _In_
    PFN_NFC_CX_SEQUENCE_COMPLETION_ROUTINE CompletionRoutine,
    _In_opt_
    WDFCONTEXT CompletionContext
    );

typedef EVT_NFC_CX_SEQUENCE_HANDLER *PFN_NFC_CX_SEQUENCE_HANDLER;

//
// NFCCX Function: NfcCxDeviceInitConfig
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXDEVICEINITCONFIG)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _Inout_
    PWDFDEVICE_INIT DeviceInit,
    _In_
    PNFC_CX_CLIENT_CONFIG Config
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxDeviceInitConfig(
    _Inout_
    PWDFDEVICE_INIT DeviceInit,
    _In_
    PNFC_CX_CLIENT_CONFIG Config
    )
{
    return ((PFN_NFCCXDEVICEINITCONFIG) NfccxFunctions[NfcCxDeviceInitConfigTableIndex])(NfccxDriverGlobals, DeviceInit, Config);
}

//
// NFCCX Function: NfcCxDeviceInitialize
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXDEVICEINITIALIZE)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxDeviceInitialize(
    _In_
    WDFDEVICE Device
    )
{
    return ((PFN_NFCCXDEVICEINITIALIZE) NfccxFunctions[NfcCxDeviceInitializeTableIndex])(NfccxDriverGlobals, Device);
}

//
// NFCCX Function: NfcCxDeviceDeinitialize
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXDEVICEDEINITIALIZE)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxDeviceDeinitialize(
    _In_
    WDFDEVICE Device
    )
{
    return ((PFN_NFCCXDEVICEDEINITIALIZE) NfccxFunctions[NfcCxDeviceDeinitializeTableIndex])(NfccxDriverGlobals, Device);
}

//
// NFCCX Function: NfcCxHardwareEvent
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXHARDWAREEVENT)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    PNFC_CX_HARDWARE_EVENT HardwareEvent
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxHardwareEvent(
    _In_
    WDFDEVICE Device,
    _In_
    PNFC_CX_HARDWARE_EVENT HardwareEvent
    )
{
    return ((PFN_NFCCXHARDWAREEVENT) NfccxFunctions[NfcCxHardwareEventTableIndex])(NfccxDriverGlobals, Device, HardwareEvent);
}

//
// NFCCX Function: NfcCxNciReadNotification
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXNCIREADNOTIFICATION)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    WDFMEMORY Memory
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxNciReadNotification(
    _In_
    WDFDEVICE Device,
    _In_
    WDFMEMORY Memory
    )
{
    return ((PFN_NFCCXNCIREADNOTIFICATION) NfccxFunctions[NfcCxNciReadNotificationTableIndex])(NfccxDriverGlobals, Device, Memory);
}

//
// NFCCX Function: NfcCxSetRfDiscoveryConfig
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXSETRFDISCOVERYCONFIG)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    PCNFC_CX_RF_DISCOVERY_CONFIG Config
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxSetRfDiscoveryConfig(
    _In_
    WDFDEVICE Device,
    _In_
    PCNFC_CX_RF_DISCOVERY_CONFIG Config
    )
{
    return ((PFN_NFCCXSETRFDISCOVERYCONFIG) NfccxFunctions[NfcCxSetRfDiscoveryConfigTableIndex])(NfccxDriverGlobals, Device, Config);
}

//
// NFCCX Function: NfcCxSetLlcpConfig
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXSETLLCPCONFIG)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    PCNFC_CX_LLCP_CONFIG Config
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxSetLlcpConfig(
    _In_
    WDFDEVICE Device,
    _In_
    PCNFC_CX_LLCP_CONFIG Config
    )
{
    return ((PFN_NFCCXSETLLCPCONFIG) NfccxFunctions[NfcCxSetLlcpConfigTableIndex])(NfccxDriverGlobals, Device, Config);
}

//
// NFCCX Function: NfcCxRegisterSequenceHandler
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXREGISTERSEQUENCEHANDLER)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    NFC_CX_SEQUENCE Sequence,
    _In_
    PFN_NFC_CX_SEQUENCE_HANDLER EvtNfcCxSequenceHandler
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxRegisterSequenceHandler(
    _In_
    WDFDEVICE Device,
    _In_
    NFC_CX_SEQUENCE Sequence,
    _In_
    PFN_NFC_CX_SEQUENCE_HANDLER EvtNfcCxSequenceHandler
    )
{
    return ((PFN_NFCCXREGISTERSEQUENCEHANDLER) NfccxFunctions[NfcCxRegisterSequenceHandlerTableIndex])(NfccxDriverGlobals, Device, Sequence, EvtNfcCxSequenceHandler);
}

//
// NFCCX Function: NfcCxUnregisterSequenceHandler
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXUNREGISTERSEQUENCEHANDLER)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device,
    _In_
    NFC_CX_SEQUENCE Sequence
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxUnregisterSequenceHandler(
    _In_
    WDFDEVICE Device,
    _In_
    NFC_CX_SEQUENCE Sequence
    )
{
    return ((PFN_NFCCXUNREGISTERSEQUENCEHANDLER) NfccxFunctions[NfcCxUnregisterSequenceHandlerTableIndex])(NfccxDriverGlobals, Device, Sequence);
}

//
// NFCCX Function: NfcCxReleaseHardwareControl
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXRELEASEHARDWARECONTROL)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxReleaseHardwareControl(
    _In_
    WDFDEVICE Device
    )
{
    return ((PFN_NFCCXRELEASEHARDWARECONTROL) NfccxFunctions[NfcCxReleaseHardwareControlTableIndex])(NfccxDriverGlobals, Device);
}

//
// NFCCX Function: NfcCxReacquireHardwareControl
//
typedef
_Must_inspect_result_
WDFAPI
NTSTATUS
(*PFN_NFCCXREACQUIREHARDWARECONTROL)(
    _In_
    PNFCCX_DRIVER_GLOBALS DriverGlobals,
    _In_
    WDFDEVICE Device
    );

_Must_inspect_result_
NTSTATUS
FORCEINLINE
NfcCxReacquireHardwareControl(
    _In_
    WDFDEVICE Device
    )
{
    return ((PFN_NFCCXREACQUIREHARDWARECONTROL) NfccxFunctions[NfcCxReacquireHardwareControlTableIndex])(NfccxDriverGlobals, Device);
}



WDF_EXTERN_C_END

#endif // _NFCCX_H_