14 lines
294 B
C
14 lines
294 B
C
#ifndef __SYSCALL_H
|
|
#define __SYSCALL_H
|
|
|
|
#include "types.h"
|
|
#include "sysnum.h"
|
|
|
|
int fetchaddr(uint64 addr, uint64 *ip);
|
|
int fetchstr(uint64 addr, char *buf, int max);
|
|
int argint(int n, int *ip);
|
|
int argaddr(int n, uint64 *ip);
|
|
int argstr(int n, char *buf, int max);
|
|
void syscall(void);
|
|
|
|
#endif |