/******************************************************************************

 © 1995-2003, 2004, 2005-2010 Freescale Semiconductor, Inc.
 All rights reserved.

 This is proprietary source code of Freescale Semiconductor Inc.,
 and its use is subject to the NetComm Device Drivers EULA.
 The copyright notice above does not evidence any actual or intended
 publication of such source code.

 **************************************************************************/
#ifndef __SEC_H
#define __SEC_H


#include "sec_ext.h"
#include "sec_regs.h"


typedef struct t_SecDriverParam
{
    uint32_t       guestId  ; /* Guest ID      */
    uint64_t       baseAddr ; /* Base address  */
    e_SecSoftReset softReset; /* Soft reset    */
    e_SecAddrSpace addrSpace; /* Address space */
}
t_SecDriverParam;


typedef struct t_Sec
{
    t_SecDriverParam* p_DriverParam; /* Driver parameters       */
    t_SecGenMemMap*   p_MemMap     ; /* Memory-mapped registers */
}
t_Sec;


#define DEFAULT_softReset e_SEC_SOFT_RESET_ON_INIT
#define DEFAULT_addrSpace e_SEC_ADDR_SPACE_64_BIT


#endif /* __SEC_H */