qk_port.h

Go to the documentation of this file.

// Product: QK/C++ port to Lint, Generic C++ compiler
// Last Updated for Version: 4.0.03
// Date of the Last Update:  Dec 27, 2008
//
//                    Q u a n t u m     L e a P s
//                    ---------------------------
//                    innovating embedded systems
//
// Copyright (C) 2002-2008 Quantum Leaps, LLC. All rights reserved.
//
// This software may be distributed and modified under the terms of the GNU
// General Public License version 2 (GPL) as published by the Free Software
// Foundation and appearing in the file GPL.TXT included in the packaging of
// this file. Please note that GPL Section 2[b] requires that all works based
// on this software must also be made publicly available under the terms of
// the GPL ("Copyleft").
//
// Alternatively, this software may be distributed and modified under the
// terms of Quantum Leaps commercial licenses, which expressly supersede
// the GPL and are specifically designed for licensees interested in
// retaining the proprietary status of their code.
//
// Contact information:
// Quantum Leaps Web site:  http://www.quantum-leaps.com
// e-mail:                  info@quantum-leaps.com
#ifndef qk_port_h
#define qk_port_h


// QK extended context (FPU) save/restore

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

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

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

// Thread-Local-Storage switching

#define QK_TLS(act_)        \
    _impure_ptr = (struct _reent *)(act_)->m_thread

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

// QK interrupt entry and exit

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


#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_ == (uint8_t)0) { \
        QK_scheduleExt_(); \
    } \
} while (0)


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

#endif                                                            // qk_port_h

---