/*
 *  Do not modify this file; it is automatically 
 *  generated and any modifications will be overwritten.
 *
 * @(#) xdc-G16
 */

#ifndef ti_sysbios_hal__
#define ti_sysbios_hal__


/*
 * ======== module ti.sysbios.hal.Cache ========
 */

typedef struct ti_sysbios_hal_Cache_Fxns__ ti_sysbios_hal_Cache_Fxns__;
typedef const struct ti_sysbios_hal_Cache_Fxns__* ti_sysbios_hal_Cache_Module;

/*
 * ======== module ti.sysbios.hal.CacheNull ========
 */

typedef struct ti_sysbios_hal_CacheNull_Fxns__ ti_sysbios_hal_CacheNull_Fxns__;
typedef const struct ti_sysbios_hal_CacheNull_Fxns__* ti_sysbios_hal_CacheNull_Module;

/*
 * ======== module ti.sysbios.hal.Core ========
 */

typedef struct ti_sysbios_hal_Core_Fxns__ ti_sysbios_hal_Core_Fxns__;
typedef const struct ti_sysbios_hal_Core_Fxns__* ti_sysbios_hal_Core_Module;

/*
 * ======== module ti.sysbios.hal.CoreNull ========
 */

typedef struct ti_sysbios_hal_CoreNull_Fxns__ ti_sysbios_hal_CoreNull_Fxns__;
typedef const struct ti_sysbios_hal_CoreNull_Fxns__* ti_sysbios_hal_CoreNull_Module;

/*
 * ======== module ti.sysbios.hal.Hwi ========
 */

typedef struct ti_sysbios_hal_Hwi_Fxns__ ti_sysbios_hal_Hwi_Fxns__;
typedef const struct ti_sysbios_hal_Hwi_Fxns__* ti_sysbios_hal_Hwi_Module;
typedef struct ti_sysbios_hal_Hwi_Params ti_sysbios_hal_Hwi_Params;
typedef struct ti_sysbios_hal_Hwi_Object ti_sysbios_hal_Hwi_Object;
typedef struct ti_sysbios_hal_Hwi_Struct ti_sysbios_hal_Hwi_Struct;
typedef ti_sysbios_hal_Hwi_Object* ti_sysbios_hal_Hwi_Handle;
typedef struct ti_sysbios_hal_Hwi_Object__ ti_sysbios_hal_Hwi_Instance_State;
typedef ti_sysbios_hal_Hwi_Object* ti_sysbios_hal_Hwi_Instance;

/*
 * ======== module ti.sysbios.hal.MemProtect ========
 */


/*
 * ======== module ti.sysbios.hal.Power ========
 */

typedef struct ti_sysbios_hal_Power_Fxns__ ti_sysbios_hal_Power_Fxns__;
typedef const struct ti_sysbios_hal_Power_Fxns__* ti_sysbios_hal_Power_Module;

/*
 * ======== module ti.sysbios.hal.PowerNull ========
 */

typedef struct ti_sysbios_hal_PowerNull_Fxns__ ti_sysbios_hal_PowerNull_Fxns__;
typedef const struct ti_sysbios_hal_PowerNull_Fxns__* ti_sysbios_hal_PowerNull_Module;

/*
 * ======== module ti.sysbios.hal.Seconds ========
 */

typedef struct ti_sysbios_hal_Seconds_Fxns__ ti_sysbios_hal_Seconds_Fxns__;
typedef const struct ti_sysbios_hal_Seconds_Fxns__* ti_sysbios_hal_Seconds_Module;

/*
 * ======== module ti.sysbios.hal.SecondsCallback ========
 */

typedef struct ti_sysbios_hal_SecondsCallback_Fxns__ ti_sysbios_hal_SecondsCallback_Fxns__;
typedef const struct ti_sysbios_hal_SecondsCallback_Fxns__* ti_sysbios_hal_SecondsCallback_Module;

/*
 * ======== module ti.sysbios.hal.SecondsClock ========
 */

typedef struct ti_sysbios_hal_SecondsClock_Module_State ti_sysbios_hal_SecondsClock_Module_State;
typedef struct ti_sysbios_hal_SecondsClock_Fxns__ ti_sysbios_hal_SecondsClock_Fxns__;
typedef const struct ti_sysbios_hal_SecondsClock_Fxns__* ti_sysbios_hal_SecondsClock_Module;

/*
 * ======== module ti.sysbios.hal.SysCall ========
 */

typedef struct ti_sysbios_hal_SysCall_Fxns__ ti_sysbios_hal_SysCall_Fxns__;
typedef const struct ti_sysbios_hal_SysCall_Fxns__* ti_sysbios_hal_SysCall_Module;

/*
 * ======== module ti.sysbios.hal.SysCallNull ========
 */

typedef struct ti_sysbios_hal_SysCallNull_Fxns__ ti_sysbios_hal_SysCallNull_Fxns__;
typedef const struct ti_sysbios_hal_SysCallNull_Fxns__* ti_sysbios_hal_SysCallNull_Module;

/*
 * ======== module ti.sysbios.hal.Timer ========
 */

typedef struct ti_sysbios_hal_Timer_Fxns__ ti_sysbios_hal_Timer_Fxns__;
typedef const struct ti_sysbios_hal_Timer_Fxns__* ti_sysbios_hal_Timer_Module;
typedef struct ti_sysbios_hal_Timer_Params ti_sysbios_hal_Timer_Params;
typedef struct ti_sysbios_hal_Timer_Object ti_sysbios_hal_Timer_Object;
typedef struct ti_sysbios_hal_Timer_Struct ti_sysbios_hal_Timer_Struct;
typedef ti_sysbios_hal_Timer_Object* ti_sysbios_hal_Timer_Handle;
typedef struct ti_sysbios_hal_Timer_Object__ ti_sysbios_hal_Timer_Instance_State;
typedef ti_sysbios_hal_Timer_Object* ti_sysbios_hal_Timer_Instance;

/*
 * ======== module ti.sysbios.hal.TimerNull ========
 */

typedef struct ti_sysbios_hal_TimerNull_Fxns__ ti_sysbios_hal_TimerNull_Fxns__;
typedef const struct ti_sysbios_hal_TimerNull_Fxns__* ti_sysbios_hal_TimerNull_Module;
typedef struct ti_sysbios_hal_TimerNull_Params ti_sysbios_hal_TimerNull_Params;
typedef struct ti_sysbios_hal_TimerNull_Object ti_sysbios_hal_TimerNull_Object;
typedef struct ti_sysbios_hal_TimerNull_Struct ti_sysbios_hal_TimerNull_Struct;
typedef ti_sysbios_hal_TimerNull_Object* ti_sysbios_hal_TimerNull_Handle;
typedef struct ti_sysbios_hal_TimerNull_Object__ ti_sysbios_hal_TimerNull_Instance_State;
typedef ti_sysbios_hal_TimerNull_Object* ti_sysbios_hal_TimerNull_Instance;

/*
 * ======== module ti.sysbios.hal.Cache_CacheProxy ========
 */

typedef struct ti_sysbios_hal_Cache_CacheProxy_Fxns__ ti_sysbios_hal_Cache_CacheProxy_Fxns__;
typedef const struct ti_sysbios_hal_Cache_CacheProxy_Fxns__* ti_sysbios_hal_Cache_CacheProxy_Module;

/*
 * ======== module ti.sysbios.hal.Core_CoreProxy ========
 */

typedef struct ti_sysbios_hal_Core_CoreProxy_Fxns__ ti_sysbios_hal_Core_CoreProxy_Fxns__;
typedef const struct ti_sysbios_hal_Core_CoreProxy_Fxns__* ti_sysbios_hal_Core_CoreProxy_Module;

/*
 * ======== module ti.sysbios.hal.Hwi_HwiProxy ========
 */

typedef struct ti_sysbios_hal_Hwi_HwiProxy_Fxns__ ti_sysbios_hal_Hwi_HwiProxy_Fxns__;
typedef const struct ti_sysbios_hal_Hwi_HwiProxy_Fxns__* ti_sysbios_hal_Hwi_HwiProxy_Module;
typedef struct ti_sysbios_hal_Hwi_HwiProxy_Params ti_sysbios_hal_Hwi_HwiProxy_Params;
typedef struct ti_sysbios_interfaces_IHwi___Object *ti_sysbios_hal_Hwi_HwiProxy_Handle;

/*
 * ======== module ti.sysbios.hal.Power_PowerProxy ========
 */

typedef struct ti_sysbios_hal_Power_PowerProxy_Fxns__ ti_sysbios_hal_Power_PowerProxy_Fxns__;
typedef const struct ti_sysbios_hal_Power_PowerProxy_Fxns__* ti_sysbios_hal_Power_PowerProxy_Module;

/*
 * ======== module ti.sysbios.hal.Seconds_SecondsProxy ========
 */

typedef struct ti_sysbios_hal_Seconds_SecondsProxy_Fxns__ ti_sysbios_hal_Seconds_SecondsProxy_Fxns__;
typedef const struct ti_sysbios_hal_Seconds_SecondsProxy_Fxns__* ti_sysbios_hal_Seconds_SecondsProxy_Module;

/*
 * ======== module ti.sysbios.hal.SysCall_SysCallProxy ========
 */

typedef struct ti_sysbios_hal_SysCall_SysCallProxy_Fxns__ ti_sysbios_hal_SysCall_SysCallProxy_Fxns__;
typedef const struct ti_sysbios_hal_SysCall_SysCallProxy_Fxns__* ti_sysbios_hal_SysCall_SysCallProxy_Module;

/*
 * ======== module ti.sysbios.hal.Timer_TimerProxy ========
 */

typedef struct ti_sysbios_hal_Timer_TimerProxy_Fxns__ ti_sysbios_hal_Timer_TimerProxy_Fxns__;
typedef const struct ti_sysbios_hal_Timer_TimerProxy_Fxns__* ti_sysbios_hal_Timer_TimerProxy_Module;
typedef struct ti_sysbios_hal_Timer_TimerProxy_Params ti_sysbios_hal_Timer_TimerProxy_Params;
typedef struct ti_sysbios_interfaces_ITimer___Object *ti_sysbios_hal_Timer_TimerProxy_Handle;


#endif /* ti_sysbios_hal__ */ 
