syscall.h

Go to the documentation of this file.

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

typedef uint32_t (*syscall_handler_t)(exception_context_t* context, uint32_t arg1, uint32_t arg2, uint32_t arg3);
 
#define SYSCALL_ID_YIELD         0
#define SYSCALL_ID_ASSERT        1
#define SYSCALL_ID_OUT_OF_MEMORY 2
 
#define SYSCALL_REGISTRY_SIZE 2
 
extern const syscall_handler_t syscall_registry[SYSCALL_REGISTRY_SIZE];
 

#define SYSCALL(num, arg1, arg2, arg3)                           \
({                                                               \
    register uint32_t r0 __asm__("r0") = (num);                  \
    register uint32_t r3 __asm__("r3") = (uint32_t)(arg1);       \
    register uint32_t r4 __asm__("r4") = (uint32_t)(arg2);       \
    register uint32_t r5 __asm__("r5") = (uint32_t)(arg3);       \
    __asm__ volatile (                                           \
        "sc\n\t"                                                 \
        : "+r" (r3)                                              \
        : "r" (r0), "r" (r4), "r" (r5)                           \
        : "cr0", "memory"                                        \
    );                                                           \
    r3; /* return value in r3 */                                 \
});

#define SYSCALL_YIELD() SYSCALL(SYSCALL_ID_YIELD, 0, 0, 0)

#define SYSCALL_ASSERT(error_name, line, file) SYSCALL(SYSCALL_ID_ASSERT, error_name, line, file)