system.h

Go to the documentation of this file.

 
#pragma once
 
#include <stdint.h>
#include <stddef.h>
 
#include "powerblocks/core/system/syscall.h"

#define SYSTEM_BUS_CLOCK_HZ 243000000

#define SYSTEM_CORE_CLOCK_HZ 729000000

 #define SYSTEM_TB_CLOCK_HZ (SYSTEM_BUS_CLOCK_HZ / 4)

#define SYSTEM_US_TO_TICKS(us) (SYSTEM_TB_CLOCK_HZ / 1000000 * (us))

#define SYSTEM_MS_TO_TICKS(ms) (SYSTEM_TB_CLOCK_HZ / 1000 * (ms))

#define SYSTEM_S_TO_TICKS(s) (SYSTEM_TB_CLOCK_HZ * (s))

#define SYSTEM_MEM_UNCACHED(address) (((uint32_t)(address) & 0x1FFFFFFF) | 0xC0000000)

#define SYSTEM_MEM_CACHED(address) (((uint32_t)(address) & 0x1FFFFFFF) | 0x80000000)

#define SYSTEM_MEM_PHYSICAL(address) ((uint32_t)(address) & 0x1FFFFFFF)

typedef struct {
    int magic; // Supposed to be 0x5f617267, checked by system init
    const char* command_line;
    int command_line_length;
    int argc;
    char **argv;
    char **end_argv;
} system_argv_t;
 
extern system_argv_t system_argv;

#define PACKED __attribute__((packed))

#define MEM2 __attribute__((section(".mem2")))

#define SYSTEM_MAIN_STACK_SIZE (1024*1024*4) // 4 MB

#define SYSTEM_GET_MSR(msr) \
    __asm__ __volatile__( \
        "mfmsr %0" : "=r"(msr) \
    );

#define SYSTEM_SET_MSR(msr) \
    __asm__ __volatile__( \
        "mtmsr %0" : : "r"(msr) \
    );

#define SYSTEM_GET_DEC(msr) \
    __asm__ __volatile__( \
        "mfdec %0" : "=r"(msr) \
    );

#define SYSTEM_SET_DEC(msr) \
    __asm__ __volatile__( \
        "mtdec %0" : : "r"(msr) \
    );

#define SYSTEM_DISABLE_ISR(ee_enabled) \
    do { \
        uint32_t msr; \
        SYSTEM_GET_MSR(msr); \
        ee_enabled = (msr >> 15) & 1; \
        msr &= ~(0x8000); \
        SYSTEM_SET_MSR(msr); \
    } while(0)

#define SYSTEM_ENABLE_ISR(ee_enabled) \
    if(ee_enabled) { \
        uint32_t msr; \
        SYSTEM_GET_MSR(msr); \
        msr |= 0x8000; \
        SYSTEM_SET_MSR(msr); \
    }

#define SYSTEM_SYNC() \
    __asm__ __volatile__( \
        "sync" \
    );

#define SYSTEM_ISYNC() \
    __asm__ __volatile__( \
        "isync" \
    );

#define ASSERT(x) \
    if((x) == 0) { \
        SYSCALL_ASSERT("ASSERTION FAILED", __LINE__, __FILE__); \
    }

#define ASSERT_OUT_OF_MEMORY(x) \
    if((x) == 0) { \
        SYSCALL_ASSERT("OUT OF MEMORY", __LINE__, __FILE__); \
    }

#define ALIGN(x) __attribute__((aligned(x)))

#define SYSTEM_SWITCH_SP(x) \
     __asm__ __volatile__ (                      \
        "lis    r3, pxCurrentTCB@ha\n\t"        \
        "lwz    r4, pxCurrentTCB@l(r3)\n\t"     /* r4 = pxCurrentTCB */ \
        "mr     r5, r1\n\t"                     /* r5 = current SP */ \
        "stw    r5, 0(r4)\n\t"                  /* pxCurrentTCB->pxTopOfStack = SP */ \
                                                \
        /* Call vTaskSwitchContext() */         \
        "bl     vTaskSwitchContext\n\t"         \
                                                \
        "lis    r3, pxCurrentTCB@ha\n\t"        \
        "lwz    r4, pxCurrentTCB@l(r3)\n\t"     /* r4 = pxCurrentTCB */ \
        "lwz    r1, 0(r4)\n\t"                  /* SP = pxCurrentTCB->pxTopOfStack */ \
    )
 
 

extern uint64_t system_get_time_base_int();

extern void system_delay_int(uint64_t ticks);

extern void system_flush_dcache(const void* data, uint32_t size);

extern void system_invalidate_dcache(void* data, uint32_t size);

extern void system_invalidate_icache(void* data, uint32_t size);

extern void* system_aligned_malloc(uint32_t bytes, uint32_t alignment);

extern void system_aligned_free(void* ptr);

extern void system_initialize();

extern void system_get_boot_path(const char* device, char* buffer, size_t length);
 
#include <stdint.h>