RtosPortable.hpp

//------------------------------------------------------------------------------
//This file is part of embKernel. 
//See license.txt for the full license governing this code.
//------------------------------------------------------------------------------
#ifndef RTOS_PORTABLE_HPP_
#define RTOS_PORTABLE_HPP_

#include <stddef.h>
#include <stdint.h>

class RtosPortable {
    friend class Rtos;
    friend class RtosTask;
    friend class RtosSyncObject;
private:
    static const uint32_t STACK_FILL_VALUE = 0x35A4CDE1;

    static void start();
    static void yield();
    static void* stackInit(void* stack, size_t stackSize, void(*run)(void*), void *parameter);
    static bool isStackOverflow(void* stack, size_t stackSize);
    static size_t getFreeStackSize(void* stack, size_t stackSize);
    static uint32_t getCyclesCounter();

public:
    static void enterCriticalSection();
    static void exitCriticalSection();
    static void disableAllInt();
    static void enableAllInt();
};

#endif /* RTOS_PORTABLE_HPP_ */