port.h

Go to the documentation of this file.

 
#ifndef __PORT_H__
#define __PORT_H__
 
#include <stdbool.h>
#include <stdint.h>
 
#define NACKED __attribute__((naked))
 
#define SYSCALL(num)     \
    asm volatile(        \
        "push {r7}   \n" \
        "mov  r7, %0 \n" \
        "svc  0      \n" \
        "pop  {r7}   \n" \
        "bx lr       \n" ::"i"(num))
 
#define SAVE_SYSCALL_RETVAL(ptr) asm volatile("mov %0, r0" : "=r"(*ptr));
 
void system_ticks_update(void);
 
uint32_t get_proc_mode(void);
 
void os_env_init(void *stack);
 
void *jump_to_thread(void *stack, bool privileged);
 
void jump_to_kernel(void);
 
void __platform_init(void);
 
void __board_init(void);
 
void __stack_init(uint32_t **stack_top,
                  uint32_t func,
                  uint32_t return_handler,
                  uint32_t args[4]);
 
unsigned long get_syscall_num(void *sp);
 
void get_syscall_args(void *sp, unsigned long *pargs[4]);
 
void halt(void);
 
void __idle(void);
 
#endif