ksyscall.h

Aller à la documentation de ce fichier.

#ifndef _KSYSCALL_H_
#define _KSYSCALL_H_

#include <types.h>

#define UNUSED(X) uint32_t _u_n_u_s_e_d_ ## X __attribute__ ((unused))
#define SYSCALL_HANDLER0(name) void name(UNUSED(0), UNUSED(1), UNUSED(2))
#define SYSCALL_HANDLER1(name, param) void name(param, UNUSED(1), UNUSED(2))
#define SYSCALL_HANDLER2(name, param1, param2) void name(param1, param2, UNUSED(2))
#define SYSCALL_HANDLER3(name, param1, param2, param3) void name(param1, param2, param3)


#define MAX_SYSCALL_NB 256

typedef void (*syscall_handler_t)(uint32_t,uint32_t,uint32_t);

void init_syscall();

int syscall_set_handler(uint32_t syscall_id, syscall_handler_t handler);

SYSCALL_HANDLER3(sys_dummy, uint32_t a,uint32_t b,uint32_t c);

#endif