nexus.h

Go to the documentation of this file.

/* -*- mode: c; c-basic-offset: 4; -*- */
#ifndef __NEXUS__
#define __NEXUS__

#include "defines.h"
#include <stdint.h>

#define immutable

/* TODO: doxygenize */
#define public
#define private

#define always __attribute__((always_inline))

#define atomic_start()                          \
    int32_t atom;                               \
    atom = StartCritical()

#define atomic_end()                            \
    EndCritical(atom)

#define atomic(x) {                             \
    int32_t atom;                               \
    atom = StartCritical();                     \
    x                                           \
    EndCritical(atom);                          \
}

#define postpone_death()                        \
    while(1)

#define Hz

typedef int32_t memory_address_t;

typedef int32_t frequency_t;

always static inline
int32_t StartCritical() {
    asm("MRS    R0, PRIMASK  ;// save old status\n");
    asm("CPSID  I            ;// mask all (except faults)\n");
}

always static inline
void EndCritical(int32_t primask) {
    /* asm("MSR    PRIMASK, R0\n"); */

    asm("CPSIE I");
}

void* memset(void*, int, int);

void* memcpy(void*, const void*, long);

int strcmp(const char*, const char*);

int ustrncmp(const char*, const char*, uint32_t);

void ustrcpy(char*, const char*);

uint32_t ustrlen(const char *s);

#endif