1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
#ifndef _JOVE_SYS_SYSCALL_H
#define _JOVE_SYS_SYSCALL_H 1
#include "hal/obj.h"
#include <stdint.h>
struct syscall_header
{
uint16_t callid;
uint16_t pathlen;
uint16_t path[];
};
typedef int (*syscall_handle_t)(
jove_owned_obj_t*, //PCB object
jove_owned_obj_t*, //Objdir object
jove_owned_obj_t*, //Message object
jove_owned_obj_t*, //Target object
struct syscall_header*, //Syscall header
size_t, //How many bytes are left in the message
void*); //The bytes left in the message.
int
_syscall_handle_generic(
jove_owned_obj_t *pcb_obj,
jove_owned_obj_t *objdir,
jove_owned_obj_t *message_obj,
jove_owned_obj_t *target_obj,
struct syscall_header *header,
size_t bytes_left,
void *payload);
int
syscall_handle_arch(
jove_owned_obj_t *pcb_obj,
jove_owned_obj_t *objdir,
jove_owned_obj_t *message_obj,
jove_owned_obj_t *target_obj,
struct syscall_header *header,
size_t bytes_left,
void *payload);
#endif
|
