qf_port.h

Go to the documentation of this file.

/*****************************************************************************
* Product:  QF/C port for Lint with QK, Generic C compiler
* Last Updated for Version: 4.5.04
* Date of the Last Update:  Feb 01, 2013
*
*                    Q u a n t u m     L e a P s
*                    ---------------------------
*                    innovating embedded systems
*
* Copyright (C) 2002-2013 Quantum Leaps, LLC. All rights reserved.
*
* This program is open source software: you can redistribute it and/or
* modify it under the terms of the GNU General Public License as published
* by the Free Software Foundation, either version 2 of the License, or
* (at your option) any later version.
*
* Alternatively, this program may be distributed and modified under the
* terms of Quantum Leaps commercial licenses, which expressly supersede
* the GNU General Public License and are specifically designed for
* licensees interested in retaining the proprietary status of their code.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
* Contact information:
* Quantum Leaps Web sites: http://www.quantum-leaps.com
*                          http://www.state-machine.com
* e-mail:                  info@quantum-leaps.com
*****************************************************************************/
#ifndef qf_port_h
#define qf_port_h

#define QF_MAX_ACTIVE               63

#define QF_MAX_EPOOL               3

#define QF_EVENT_SIZ_SIZE           2

#define QF_EQUEUE_CTR_SIZE          1

#define QF_MPOOL_SIZ_SIZE           2

#define QF_MPOOL_CTR_SIZE           2

#define QF_TIMEEVT_CTR_SIZE         2

#define QF_INT_DISABLE()            intDisable()

#define QF_INT_ENABLE()             intEnable()

void intDisable(void);
void intEnable(void);

#define QF_CRIT_STAT_TYPE           crit_stat_t

#define QF_CRIT_ENTRY(stat_)        ((stat_) = critEntry())

#define QF_CRIT_EXIT(stat_)         critExit(stat_)

typedef unsigned int crit_stat_t;
QF_CRIT_STAT_TYPE critEntry(void);
void critExit(QF_CRIT_STAT_TYPE stat);

#include "qep_port.h"                                           /* QEP port */
#include "qk_port.h"                                             /* QK port */
#include "qf.h"                 /* QF platform-independent public interface */

#endif                                                         /* qf_port_h */