qk_port.h

Go to the documentation of this file.

// Product: QK/C++ port to Lint, Generic C++ compiler
// Last Updated for Version: 4.5.04
// Date of the Last Update:  Feb 09, 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 qk_port_h
#define qk_port_h

/*lint -save -e1960    MISRA-C++:2008 Rule 7-3-1, Global declaration */


// QK extended context (FPU) save/restore

#define QK_EXT_SAVE(act_)   \
    FPU_save(static_cast<FPU_context *>((act_)->m_thread))

#define QK_EXT_RESTORE(act_) \
    FPU_restore(static_cast<FPU_context *>((act_)->m_thread))

// QK interrupt entry and exit

#define QK_ISR_ENTRY() do { \
    ++QK_intNest_; \
    QF_QS_ISR_ENTRY(QK_intNest_, QK_currPrio_); \
} while (false)


#define QK_ISR_EXIT() do { \
    send End-Of-Interrupt instruction to the Interrupt Controller; \
    QF_QS_ISR_EXIT(QK_intNest_, QK_currPrio_); \
    --QK_intNest_; \
    if (QK_intNest_ == static_cast<uint8_t>(0)) { \
        QK_scheduleExt_(); \
    } \
} while (false)


extern "C" {

struct FPU_context {
    uint32_t align;
    uint8_t  fpu[108];                  // the x87 FPU context takes 108-bytes
};
void FPU_save(FPU_context *ctx);             // defined in assembly
void FPU_restore(FPU_context *ctx);          // defined in assembly

// Thread-Local-Storage switching

#define QK_TLS(act_)        \
    (impure_ptr = static_cast<reent *>((act_)->m_thread))

// fake struct _reent and _impure_ptr elements of Newlib...
struct reent {
    uint32_t foo[32];
};
extern reent *impure_ptr;

}                                                                // extern "C"

/*lint -restore */


#include "qk.h"                    // QK platform-independent public interface

#endif                                                            // qk_port_h